Package ptolemy.domains.csp.demo.DiningPhilosophers.checkDeadlock

The ptolemy.domains.csp.demo.DiningPhilosophers.checkDeadlock package.

Since:
Ptolemy II 10.1