================================================================================
DIRECTORY OVERVIEW:

minisat/mtl/            Mini Template Library
minisat/utils/          Generic helper code (I/O, Parsing, CPU-time, etc)
minisat/core/           A core version of the solver
minisat/simp/           An extended solver with simplification capabilities

================================================================================
BUILDING: (release version: without assertions, statically linked, etc)

make r
cp build/release/bin/mergesat <install-dir>/mergesat

================================================================================
EXAMPLES:

Solve some CNF file:
 ./mergesat "input.cnf"

Solve some CNF file and produce an unsatisfiability proof:
 ./mergesat "input.cnf" -drup-file="$TMPDIR"/proof.out
