A Z3-based IC3 implementation


Setup and usage instructions

IC3z3 runs on Python 3 with no current plans to support Python 2.

First, install pip and virtualenv for Python 3 using your distro’s package manager or your desired method, then run these commands at the root of this repository:

virtualenv venv
source ./venv/bin/activate
pip install pysmt
pysmt-install --z3
pysmt-install --msat

You can then run an example as follows:

python main.py examples/example1.vmt