%DEPENDS%
python
python-z3-solver

