/

• LICENSE
• Makefile
• README.md
• ast-to-instr
• data
• instance-calculator
• instr-to-kodkod
• no-prop-to-pred
• prop-to-pred
• prop_to_pred
• sol-pretty-printer