Tom/sat_project_server_repo
1
0
Fork 0
Code Issues 2 Pull Requests Projects 1 Releases Wiki Activity

readme

Browse Source
This commit is contained in:
Tom Krüger
2021-01-24 02:14:30 +01:00
parent f66fcd679d
commit a2b34f29a4
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
README.md
View File

@@ -1,9 +1,14 @@
# dependencies # sat project
## dependencies
* pysat * pysat
* [glucose](https://www.labri.fr/perso/lsimon/glucose/) * [glucose](https://www.labri.fr/perso/lsimon/glucose/)
...version 4.1 ...version 4.1
...put binary in ***util*** directory ...put binary in ***util*** directory
* bzip2 * bzip2
## gen_core_extensions.py ## gen_core_extensions.py
@@ -14,7 +19,7 @@ Script to generate core extensions.
|----|---------|-------|--| |----|---------|-------|--|
| -i | --instance_dir | ./instances | directory containing the instances | | -i | --instance_dir | ./instances | directory containing the instances |
| -c | --cores_dir | ./cores_dir | directory containing the cores | | -c | --cores_dir | ./cores_dir | directory containing the cores |
| -e | --extensions_dir | ./extensions | target directory to store the generated core extensions | | -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 | | -n | --nr_per_instance | 1 | number of extensions per instance |
| -v | --verbosity | 1 | **1** to print progress, **0** for silent mode | | -v | --verbosity | 1 | **1** to print progress, **0** for silent mode |