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

[cvc4_solver]
cvc4-solver

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

[testing]
pytest
pytest-xdist

[testing:platform_system == "linux"]
cvc4-solver
