-
Notifications
You must be signed in to change notification settings - Fork 2
Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions
License
conp-solutions/minisat
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
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
About
Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published