summaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitignore15logstatsplain
-rw-r--r--csisat-glpk.patch16176logstatsplain
-rw-r--r--csisat-makefile.patch9389logstatsplain
-rw-r--r--csisat-picosat.patch3380logstatsplain
-rw-r--r--csisat.spec4156logstatsplain
-rw-r--r--sources49logstatsplain