summaryrefslogtreecommitdiff
path: root/minisat/solver
ModeNameSize
-rw-r--r--Solver.C24094logplain
-rw-r--r--Solver.H16568logplain
-rw-r--r--SolverTypes.H7799logplain