freebsd-ports/math/minisat/files
..
patch-minisat-core-SolverTypes.h