/

• LICENSE
• README.md
• ast-to-instr
• cfg-to-paths
• data
• instr-to-kodkod