Skip to main content
https://github.com/audemard/glucose
09 May 2023, 15:45:59 UTC
Revision cf6d8fa2830ec5f3aaa5ab80325364f0945cb87d authored by audemard on 09 May 2023, 09:16:48 UTC, committed by audemard on 09 May 2023, 09:16:48 UTC
Glucose 2.1
1 parent 7371425
Raw File Download
Tip revision: cf6d8fa2830ec5f3aaa5ab80325364f0945cb87d authored by audemard on 09 May 2023, 09:16:48 UTC
Glucose 2.1
Tip revision: cf6d8fa
README.md 
# Glucose SAT solver

This is the release 2.1 of the glucose SAT solver. 
It is based on [Minisat 2.2](http://minisat.se/MiniSat.html)

For compiling:  ```./build.sh```


For running: ```glucose.sh BENCHNAME```