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