/patch-minisat_core_SolverTypes_h/1.2/Sat Mar 12 08:16:58 2022//
/patch-minisat_core_Solver_cc/1.2/Sat Mar 12 08:16:58 2022//
/patch-minisat_utils_Options_h/1.2/Sat Mar 12 08:16:58 2022//
/patch-minisat_utils_System_cc/1.2/Sat Mar 12 08:16:58 2022//
D
