z3-solver==4.10.2.0
cachetools
decorator
pysmt>=0.9.1.dev119

[cvc4-solver]
cvc4-solver
