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

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

[dev:python_version >= "3.8.0"]
deal>=4.13.0
