astroid~=3.2.4
click<9,>=8.0.1
colorama~=0.4.6
jinja2~=3.1.2
pycodestyle~=2.11
pygments<2.19,>=2.14
pylint~=3.2.6
requests<2.33,>=2.28
six
tabulate~=0.9.0
toml~=0.10.2
typeguard<5,>=4.1.0
wrapt<2,>=1.15.0
black

[cfg]
graphviz

[dev]
hypothesis
inflection
myst-parser
pre-commit
pytest
pytest-snapshot
pytest-cov<5.1,>=4.0
sphinx
sphinx-rtd-theme

[z3]
z3-solver

[z3:python_version < "3.9"]
importlib_resources
