aboutsummaryrefslogtreecommitdiff
path: root/math/minisat/files
ModeNameSize
-rw-r--r--patch-minisat_core_SolverTypes.h863logplainblame
-rw-r--r--patch-minisat_utils_Options.h820logplainblame