aiohttp<3.14.0,>=3.13.0
astroid~=4.0.2
black
click<9,>=8.0.1
colorama~=0.4.6
jinja2~=3.1.2
markdown-it-py<5
mypy~=1.13
pycodestyle~=2.11
pygments<2.20,>=2.14
pylint~=4.0.3
requests<2.33,>=2.28
six
tabulate~=0.9.0
toml~=0.10.2
typeguard<5,>=4.1.0
watchdog~=6.0.0
wrapt<3,>=1.15.0

[cfg]
graphviz

[dev]
coverage>=7.10.6
hypothesis
inflection
myst-parser
pre-commit
pytest
pytest-cov<7.1,>=4.0
pytest-mock
pytest-snapshot
websocket-client
sphinx
sphinx-rtd-theme

[z3]
z3-solver
