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:18:26 +01:00
parent d83a0bd75e
commit 3b98d26259
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -3,9 +3,7 @@
## dependencies
* pysat
* [glucose](https://www.labri.fr/perso/lsimon/glucose/)
: version 4.1
: put binary in ***util*** directory
* [glucose](https://www.labri.fr/perso/lsimon/glucose/) - version 4.1 - put binary in ***util*** directory
* bzip2