The philosophers problem modeler