diff options
Diffstat (limited to 'src/sat/bsat2/README')
| -rw-r--r-- | src/sat/bsat2/README | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/sat/bsat2/README b/src/sat/bsat2/README new file mode 100644 index 00000000..e5e5617d --- /dev/null +++ b/src/sat/bsat2/README @@ -0,0 +1,24 @@ +================================================================================ +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 + +================================================================================ +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 + +================================================================================ +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 |