/

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