diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-08-13 17:21:24 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-08-13 17:21:24 +0000 |
| commit | 33de059bee5f6814615a88a7c13d819820430f25 (patch) | |
| tree | c0b2cdd0ff249c3811befcd12d011dc89a5099b9 /src/prop/minisat/README | |
| parent | ca627b6170a0528b95b94c8de7255eb243d99264 (diff) | |
Removing newer version of MiniSat for Dejan's preferred import
Diffstat (limited to 'src/prop/minisat/README')
| -rw-r--r-- | src/prop/minisat/README | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/src/prop/minisat/README b/src/prop/minisat/README deleted file mode 100644 index e5e5617d8..000000000 --- a/src/prop/minisat/README +++ /dev/null @@ -1,24 +0,0 @@ -================================================================================ -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 |