Effective ATS:
Dining Philosophers

• main.html
• Makefile
• DiningPhil.sats
• DiningPhil.dats
• DiningPhil_fork.dats
• DiningPhil_dine.dats
• DiningPhil_think.dats