1================================================================================ 2DIRECTORY OVERVIEW: 3 4mtl/ Mini Template Library 5utils/ Generic helper code (I/O, Parsing, CPU-time, etc) 6core/ A core version of the solver 7simp/ An extended solver with simplification capabilities 8README 9LICENSE 10 11================================================================================ 12BUILDING: (release version: without assertions, statically linked, etc) 13 14export MROOT=<minisat-dir> (or setenv in cshell) 15cd { core | simp } 16gmake rs 17cp minisat_static <install-dir>/minisat 18 19================================================================================ 20EXAMPLES: 21 22Run minisat with same heuristics as version 2.0: 23 24> minisat <cnf-file> -no-luby -rinc=1.5 -phase-saving=0 -rnd-freq=0.02 25