sat project
dependencies
-
pysat
-
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:
$ ./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