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