aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--LICENSE10766logplain
-rw-r--r--Makefile2964logplain
-rw-r--r--README.md1629logplain
d---------ast-to-instr66logplain
d---------data163logplain
d---------instance-calculator66logplain
d---------instr-to-kodkod138logplain
d---------no-prop-to-pred36logplain
d---------prop-to-pred66logplain
d---------prop_to_pred73logplain
d---------sol-pretty-printer66logplain