- Revision 1474: /ports/head/math/minisat/files
..
patch-minisat_core_SolverTypes.h
patch-minisat_utils_Options.h