…
..
patch-minisat-2.2.1_minisat_core_Solver.cc
patch-minisat-2.2.1_minisat_core_SolverTypes.h
patch-minisat-2.2.1_minisat_mtl_IntTypes.h
patch-minisat-2.2.1_minisat_mtl_Vec.h
patch-minisat-2.2.1_minisat_mtl_XAlloc.h
patch-minisat-2.2.1_minisat_simp_SimpSolver.cc
patch-minisat-2.2.1_minisat_utils_Options.cc
patch-minisat-2.2.1_minisat_utils_Options.h
patch-minisat-2.2.1_minisat_utils_ParseUtils.h
patch-minisat-2.2.1_minisat_utils_System.h