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

[dev]
autodocsumm<1,>=0.2.2
black==22.3.0
deal>=4.13.0
icontract>=2.4.0
isort==5.11.5
mypy==0.990
pre-commit~=2.20
pytest
pytest-xdist
setuptools
sphinx-rtd-theme>=0.5.1
sphinx>=3.4.3
wheel

[dev:python_version < "3.12"]
numpy==1.23.4

[dev:python_version >= "3.12" and python_version < "3.13"]
numpy==1.26.0

[dev:python_version >= "3.13"]
numpy==2.0.1
