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

[cvc4_solver]
cvc4-solver
