%DEPENDS%
python
python-cachetools
python-decorator
python-pysmt
python-z3-solver

