cachetools
decorator
pysmt>=0.9.5
z3-solver==4.10.2.0

[cvc4_solver]
cvc4-solver

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