summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore36logplain
-rw-r--r--COPYING35147logplain
-rw-r--r--Makefile2064logplain
d---------casa267logplain
d---------common66logplain
-rw-r--r--example.citmodel14logplain
-rw-r--r--example.constraints26logplain
-rw-r--r--example.coveringarray283logplain
d---------minisat102logplain