Glucose 4.1 from https://www.labri.fr/perso/lsimon/glucose/ placed on GitHub for modifications. Binary files in the archive which are apparently generated by Mac are omitted. Update from the original archive: - CMake build script is added. ``` $ mkdir build $ cd build $ cmake -DCMAKE_BUILD_TYPE=Release .. && make ``` - Custom constraints feature is added. --------------------------------------------------------------------------------------------- Directory overview: ================== mtl/ Minisat Template Library core/ A core version of the solver glucose (no main here) simp/ An extended solver with simplification capabilities parallel/ A multicore version of glucose README LICENSE Changelog To build (release version: without assertions, statically linked, etc): ====================================================================== Like minisat.... cd { simp | parallel } make rs Usage: ====== in simp directory: ./glucose --help in parallel directory: ./glucose-syrup --help