astroid~=2.12.13
pycodestyle
pylint~=2.15.8
tabulate~=0.8.9
colorama
six
jinja2
pygments
wrapt>=1.14.1
typeguard>=2.13.3
requests
click>=8.0.1
toml

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

[z3]
z3-solver
