pkgsrc/math/py-smt