ports/math/minisat/patches
