astroid~=2.12.13
pycodestyle~=2.10.0
pylint~=2.15.8
tabulate~=0.9.0
colorama~=0.4.6
six
jinja2~=3.1.2
pygments~=2.14.0
wrapt<2,>=1.15.0
typeguard<3,>=2.13.3
requests~=2.28.0
click<9,>=8.0.1
toml~=0.10.2

[dev]
graphviz
hypothesis
inflection
myst-parser
pre-commit
pytest
pytest-cov
sphinx
sphinx-rtd-theme

[z3]
z3-solver
