Installation notes

Install dependencies by running the following commands in a virtual environment:

pip install --upgrade pip
pip install --upgrade more-itertools parse pre-commit pandas pytest z3-solver 'networkx[default]'
pre-commit install

Run tests with:

pytest -c . --doctest-modules