Between Tuesday August 20th, 5:00pm and Thursday August 22nd, 8:00am git.uwaterloo.ca will be down for an upgrade to version 10.8.7.

I

ic3z3

A Z3-based IC3 implementation

IC3z3

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