fabian/minisat
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Host of all major minisat versions with minimal fixes.
2 commits 6 branches 0 tags 174 KiB
Find a file
Fabian Posch ed5aa68ce6 add unpatched version of 2.2 source
2024-08-09 15:27:03 +02:00
core add unpatched version of 2.2 source 2024-08-09 15:27:03 +02:00
doc add unpatched version of 2.2 source 2024-08-09 15:27:03 +02:00
mtl add unpatched version of 2.2 source 2024-08-09 15:27:03 +02:00
simp add unpatched version of 2.2 source 2024-08-09 15:27:03 +02:00
utils add unpatched version of 2.2 source 2024-08-09 15:27:03 +02:00
.gitignore initial commit 2024-08-09 15:17:14 +02:00
LICENSE add unpatched version of 2.2 source 2024-08-09 15:27:03 +02:00
README add unpatched version of 2.2 source 2024-08-09 15:27:03 +02:00

README 

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