Name Last Update
doc Loading commit data...
examples Loading commit data...
.gitignore Loading commit data...
COPYING Loading commit data...
LICENSE Loading commit data...
README.org Loading commit data...
ic3.py Loading commit data...
main.py Loading commit data...
refiner.py Loading commit data...

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