-
Notifications
You must be signed in to change notification settings - Fork 0
An implementation of the model checking algorithm IC3 / PDR using Minisat 2.2 as the underlying SAT-solver
License
quickbeam123/minireachIC3
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
An implementation of the model checking algorithm IC3 / PDR using Minisat 2.2 as the underlying SAT-solver
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published