================================================================================ DIRECTORY OVERVIEW: mtl/ Mini Template Library utils/ Generic helper code (I/O, Parsing, CPU-time, etc) core/ A core version of the solver simp/ An extended solver with simplification capabilities README LICENSE ================================================================================ BUILDING: (release version: without assertions, statically linked, etc) export MROOT= (or setenv in cshell) cd { core | simp } gmake rs cp minisat_static /minisat ================================================================================ EXAMPLES: Run minisat with same heuristics as version 2.0: > minisat -no-luby -rinc=1.5 -phase-saving=0 -rnd-freq=0.02