astroid~=2.15.4
click<9,>=8.0.1
colorama~=0.4.6
jinja2~=3.1.2
pycodestyle~=2.11
pygments<2.17,>=2.14
pylint~=2.17.4
requests<2.32,>=2.28
six
tabulate~=0.9.0
toml~=0.10.2
typeguard<5,>=4.1.0
wrapt<2,>=1.15.0

[cfg]
graphviz

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

[z3]
z3-solver
