The original sources are pulled from here. This repository extends Glucose 4 with a C API and is used in RustSAT.
mtl/
: Minisat Template Librarycore/
: A core version of the solver glucose (no main here)simp/
: An extended solver with simplification capabilitiesparallel/
: A multicore version of glucose
Like minisat....
cd { simp | parallel }
make rs
In simp directory: ./glucose --help
In parallel directory: ./glucose-syrup --help