cachetools
typing-extensions
z3-solver==4.13.0.0

[docs]
furo
myst-parser
sphinx
sphinx-autodoc-typehints
