Skip to main content
https://github.com/audemard/glucose
09 May 2023, 15:45:59 UTC
Revision 737142592828eadd3734da62f9db08ba4dc3c383 authored by audemard on 09 May 2023, 09:11:03 UTC, committed by audemard on 09 May 2023, 09:11:03 UTC
Glucose 2.0
1 parent 0f482eb
Raw File Download
Tip revision: 737142592828eadd3734da62f9db08ba4dc3c383 authored by audemard on 09 May 2023, 09:11:03 UTC
Glucose 2.0
Tip revision: 7371425
README.md 
# 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```