================================================================================
Quick Install:

- Generate the makefile.

  > cmake CMakeLists.txt

- Compile the source.

  > make

- Decide where to install the files. The simplest approach is to use
  GNU standard locations and just set a "prefix" for the root install
  directory (referred to as $PREFIX below).

  > make DESTDIR=$PREFIX install

================================================================================
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
doc/                    Documentation
README
LICENSE

================================================================================
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