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
Like minisat....
cd { simp | parallel }
make rs
in simp directory: ./glucose --help
in parallel directory: ./glucose-syrup --help