summaryrefslogtreecommitdiff
path: root/glpk-5.0/src/minisat
ModeNameSize
-rw-r--r--LICENSE1072logplain
-rw-r--r--README903logplain
-rw-r--r--minisat.c38455logplain
-rw-r--r--minisat.h7294logplain