| summaryrefslogtreecommitdiff |
| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 10766 | logplain |
| -rw-r--r-- | Makefile | 2530 | logplain |
| -rw-r--r-- | README.md | 1629 | logplain |
| d--------- | ast-to-instr | 66 | logplain |
| d--------- | data | 163 | logplain |
| d--------- | instance-calculator | 66 | logplain |
| d--------- | instr-to-kodkod | 138 | logplain |
| d--------- | prop-to-pred | 66 | logplain |
| d--------- | prop_to_pred | 73 | logplain |
| d--------- | sol-pretty-printer | 66 | logplain |