You need to install the Python bindings to Z3 yourself.
- Create a virtual environment at the project root:
python -m venv venv(the name "venv" is important!) - Activate the venv:
source venv/bin/activate - Install Z3:
pip install z3-solver
The elm-tooling projects are highly instructive.