GitHub - maxtuno/MiniSat: MiniSat 2.2.0 with DRUP proof, CMake and StarExec Ready.

maxtuno / MiniSat Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

MiniSat 2.2.0 with DRUP proof, CMake and StarExec Ready.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
bin		bin
core		core
doc		doc
mtl		mtl
simp		simp
utils		utils
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
README		README
starexec_build		starexec_build
starexec_clean		starexec_clean
starexec_description.txt		starexec_description.txt

Repository files navigation

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