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

[dev]
black==20.8b1
flake8
icontract
mypy==0.902
numpy
pydocstyle==5.1.1
pytest
types-pkg_resources
wheel
