4 mtl/ Minisat Template Library
5 core/ A core version of the solver glucose (no main here)
6 simp/ An extended solver with simplification capabilities
7 parallel/ A multicore version of glucose
12 To build (release version: without assertions, statically linked, etc):
13 ======================================================================
16 cd { simp | parallel }
22 in simp directory: ./glucose --help
24 in parallel directory: ./glucose-syrup --help