GitHub - sambayless/simpleIC3: A simple, high-performance C++ implementation of IC3 based on Minisat and PDR, including ternary simulation support.

sambayless / simpleIC3 Public

Notifications You must be signed in to change notification settings
Fork 1
Star 5

A simple, high-performance C++ implementation of IC3 based on Minisat and PDR, including ternary simulation support.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
src		src
tests		tests
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
README		README

Repository files navigation

# SimpleIC3, a simple, high-performance C++ implementation of IC3 based on Minisat and PDR, including ternary simulation support.

Minisat is included (src/minisat), though it should also be possible to use a recent version from github.
The AIGER library is also included (src/aiger).
The main implementation can be found in src/simpleIC3/ic3

Build instructions:
Requires C++11, and zlib.

cmake .

Tested with gcc 5 and clang 4 on Ubuntu 14.04 and 16.04.

Usage:

$simpleIC3 tests/test_10c.aig