# sat project

## dependencies

* pysat
* [glucose](https://www.labri.fr/perso/lsimon/glucose/) - version 4.1 - put binary in ***util*** directory

* bzip2

## gen_core_extensions.py

Script to generate core extensions.

| arg | arg long | default | description |
|----|---------|-------|--|
| -i | --instance_dir | ./instances | directory containing the instances |
| -c | --cores_dir | ./cores_dir | directory containing the cores |
| -e | --extensions_dir | ./extensions | target directory to store the generated core extensions (creates dir if nonexistent)|
| -n | --nr_per_instance | 1 | number of extensions per instance |
| -v | --verbosity | 1 | **1** to print progress, **0** for silent mode |

Just call with:
```bash
$ ./gen_core_extensions.py -n 5000
```
## main.py

Does **NOT** have to be called from any specific directory!

The `-i` (`--instance`) parameter has to be a core extension