/patch-minisat_core_SolverTypes_h/1.1/Sun Aug 20 16:39:44 2017//
/patch-minisat_core_Solver_cc/1.1/Wed Apr 11 14:36:14 2018//
/patch-minisat_utils_Options_h/1.1/Wed Apr 11 14:36:14 2018//
/patch-minisat_utils_System_cc/1.1/Sun Aug 20 16:39:44 2017//
D
