%DEPENDS%
python
python-setuptools
z3

%CONFLICTS%
python-z3

