# Glucose SAT solver
This is the release 2.0 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```
# Glucose SAT solver
This is the release 2.0 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```