# 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```