z3-solver>=4.8.5.0
future
cachetools
decorator
pysmt
