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