edd 4c21bc5c61 math/minisat: Fix for clang 6. ... OK sthen@, thanks.		2018-04-11 14:36:14 +00:00
..
patch-minisat_core_Solver_cc	math/minisat: Fix for clang 6.	2018-04-11 14:36:14 +00:00
patch-minisat_core_SolverTypes_h
patch-minisat_utils_Options_h	math/minisat: Fix for clang 6.	2018-04-11 14:36:14 +00:00
patch-minisat_utils_System_cc