pkgsrc/math/py-z3solver