-------------------
Dining Philosophers
-------------------

See http://www.cs.utk.edu/~plank/plank/classes/cs560/560/notes/Dphil/lecture.html

The tests are at http://josd.github.io/eye/reasoning/dp/test
