summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore42logplain
-rw-r--r--COPYING35147logplain
-rw-r--r--Makefile2085logplain
d---------casa267logplain
d---------common66logplain
-rw-r--r--example.citmodel14logplain
-rw-r--r--example.constraints26logplain
-rw-r--r--example.coveringarray283logplain
d---------minisat102logplain