-
$ git clone ...
-
$ python3 -m venv venv
-
$ source venv/bin/activate
-
$ pip install -r requirements.txt
-
If you don't already have it, install Z3:
$ git clone https://github.com/Z3Prover/z3.git
$ cd z3
$ python scripts/mk_make.py
$ cd build && make
$ sudo make install
Alternatively, if you don't have sudo rights, you can manually set your python paths to be able to execute Z3 scripts from anywhere in the project. 5.
$ export PYTHONPATH=<YOUR_FILE_PATH_TO_Z3>/build/python
6.$ export LD_LIBRARY_PATH=<YOUR_FILE_PATH_TO_Z3>/build
$ python src/stream_graph.py
or
$ python src/optimize/simple.py
or any other Z3 script in the project in the same way.