aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--LICENSE10766logplain
-rw-r--r--Makefile2171logplain
-rw-r--r--README.md1629logplain
d---------ast-to-instr66logplain
d---------data163logplain
d---------instance-calculator66logplain
d---------instr-to-kodkod138logplain
d---------sol-pretty-printer66logplain