https://github.com/audemard/glucose
Tip revision: cf6d8fa2830ec5f3aaa5ab80325364f0945cb87d authored by audemard on 09 May 2023, 09:16:48 UTC
Glucose 2.1
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```
