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

[dev]
autodocsumm<1,>=0.2.2
black~=22.0
flake8
hypothesis>=6.0.0
icontract>=2.4.0
isort
mypy==0.902
numpy
pydantic
pydocstyle==5.1.1
pygls>=0.11.3
pytest
pytest-xdist
sphinx>=3.4.3
sphinx-rtd-theme>=0.5.1
types-pkg_resources
wheel

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