minisat

================================================================================ Quick Install

• 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 (reffered to as $PREFIX below). More control can be achieved by overriding other of the GNU standard install locations (includedir, bindir, etc). Configuring with just a prefix:

  make config prefix=$PREFIX

• Compiling and installing:

  make install

================================================================================ Configuration

• Multiple configuration steps can be joined into one call to "make config" by appending multiple variable assignments on the same line.

• The configuration is stored in the file "config.mk". Look here if you want to know what the current configuration looks like.

• To reset from defaults simply remove the "config.mk" file or call "make distclean".

• Recompilation can be done without the configuration step.

  [ TODO: describe configartion possibilities for compile flags / modes ]

================================================================================ Building

[ TODO: describe seperate build modes ]

================================================================================ Install

[ TODO: ? ]

================================================================================ 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 -no-luby -rinc=1.5 -phase-saving=0 -rnd-freq=0.02