%DEPENDS%
python
z3

%CONFLICTS%
python-z3

