Dear Pythonistas! Has anybody come across an implementation fo the dining philosophers problem in Python? (I know of the one of Tim Peters', but could not find it. Even Tim himself does not know if it still exists somewhere) Gregor Lingl