pkgsrc/math/minisat