astroid~=2.11.6
pycodestyle
pylint~=2.14.4
tabulate~=0.8.9
colorama
six
jinja2
pygments
wrapt>=1.12.0
typeguard>=2.7.1
requests
click>=8.0.1
toml

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

[z3]
z3-solver
