diff options
Diffstat (limited to 'src/prop/minisat/README')
| -rw-r--r-- | src/prop/minisat/README | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/src/prop/minisat/README b/src/prop/minisat/README index e1b79329b..e5e5617d8 100644 --- a/src/prop/minisat/README +++ b/src/prop/minisat/README @@ -1,19 +1,24 @@ -Directory overview: -================== +================================================================================ +DIRECTORY OVERVIEW: mtl/ Mini Template Library +utils/ Generic helper code (I/O, Parsing, CPU-time, etc) core/ A core version of the solver simp/ An extended solver with simplification capabilities README LICENSE -To build (release version: without assertions, statically linked, etc): -====================================================================== +================================================================================ +BUILDING: (release version: without assertions, statically linked, etc) +export MROOT=<minisat-dir> (or setenv in cshell) cd { core | simp } gmake rs +cp minisat_static <install-dir>/minisat -Usage: -====== +================================================================================ +EXAMPLES: -TODO +Run minisat with same heuristics as version 2.0: + +> minisat <cnf-file> -no-luby -rinc=1.5 -phase-saving=0 -rnd-freq=0.02 |