Skip to main content
https://github.com/audemard/glucose
09 May 2023, 15:45:59 UTC
Revision 0f482eb98d8a6b271d4daa7c1bdaf0cba828e4c8 authored by audemard on 09 May 2023, 07:12:16 UTC, committed by audemard on 09 May 2023, 07:12:16 UTC
glucose 1.0
1 parent d763400
Raw File Download
Tip revision: 0f482eb98d8a6b271d4daa7c1bdaf0cba828e4c8 authored by audemard on 09 May 2023, 07:12:16 UTC
glucose 1.0
Tip revision: 0f482eb
README.md 
# Glucose SAT solver

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

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


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