typing-inspect>=0.7.1
typing_extensions>=3.7.4.2
z3-solver==4.8.9.0
importlib_metadata>=4.0.0

[dev]
autodocsumm<1,>=0.2.2
black==20.8b1
flake8
icontract
mypy==0.902
numpy
pydantic
pydocstyle==5.1.1
pytest
sphinx<4,>=3.4.3
sphinx-autodoc-typehints>=1.11.1
sphinx-rtd-theme<1,>=0.5.1
types-pkg_resources
wheel
