pkgsrc/math/z3