- Revision 1474: /ports/2.0/math/minisat/files
..
patch-minisat_core_Solver.cc
patch-minisat_core_SolverTypes.h
patch-minisat_utils_Options.h