To rebuild the docs:
pip install z3
pip install unified-planning
source /cs/home/bp50/Diss/python/bin/activate
make html