…
..
patch-minisat_core_Solver_cc
patch-minisat_core_SolverTypes_h
patch-minisat_utils_Options_h
patch-minisat_utils_System_cc