/math/minisat/patches/

• ../
• patch-core_SolverTypes.h
• patch-utils_System.cc