sat_extension_project/project_server_repo
3
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:17:10 +01:00
parent 39e9a8d678
commit d83a0bd75e
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@@ -4,10 +4,8 @@
* pysat
* [glucose](https://www.labri.fr/perso/lsimon/glucose/)
... version 4.1
... put binary in ***util*** directory
: version 4.1
: put binary in ***util*** directory
* bzip2