/patch-minisat_core_SolverTypes_h/1.2/Fri Mar 11 19:36:20 2022//
/patch-minisat_core_Solver_cc/1.2/Fri Mar 11 19:36:20 2022//
/patch-minisat_utils_Options_h/1.2/Fri Mar 11 19:36:20 2022//
/patch-minisat_utils_System_cc/1.2/Fri Mar 11 19:36:20 2022//
D
