diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-08-15 21:25:21 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-08-15 21:25:21 +0000 |
commit | a6b782a6b8486689e47338c456b816c95cf67a92 (patch) | |
tree | a7f911007e1d27c2fb0e1847d9cabb1c538d65b2 /src/prop/minisat/README | |
parent | 58ea6b0b63d2170391a61e0fe3b1a3ecf3b99fb2 (diff) |
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 |