pkgsrc/math/py-z3