Gy-Hu / IC3-Playground Public

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

Prototype some ideas related to IC3 algorithm. Also make a comparison environment for various implementation of IC3

2 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
benchmarks		benchmarks
code		code
.gitignore		.gitignore
README.md		README.md

Repository files navigation

IC3-Playground

Prototype some ideas related to IC3 algorithm. Also make a comparison environment for various implementation of IC3.

Some Repositories I Referred to

ic3_demo.py
arbrad/IC3ref
alex-sherman/pdr
zhanghongce/pdr-prototype-tests
songhobby/RL2MC
rohitdureja/SimplePDR
pddenhar/Z3-IC3-PDR
sambayless/simpleIC3
pysmt/pysmt (Includes come MC example)
Z3Prover /z3 (Includes mini_ic3.py)
mufanx/ic3Py (Real implementation of python version ic3)

Some Benchmark I Referred to

HWMCC
SyGuS
zhanghongce/pdr-prototype-tests (The test cases included in this repo)
makaimann/btor-benchmarks
aman-goel/avr (The test cases included in this repo)
agurfinkel/innard-benchmarks (benchmark from IC3-inn)
SMT-lib (Contains some benchmarks)
VMT-lib (Contains some benchmarks)
JKU benchmarks
lsils/benchmarks (Divided into arithmetic, random/control and MtM circuits)
Titan

About

Prototype some ideas related to IC3 algorithm. Also make a comparison environment for various implementation of IC3

Report repository

Releases

No releases published

Packages

No packages published

Languages