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:15:24 +01:00
parent a2b34f29a4
commit 39e9a8d678
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -5,9 +5,9 @@
* 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