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