Model checker for the hardest logic puzzle ever

Malvin Gattinger has implemented our agent-type logic in Reasoning about agent types and the hardest logic puzzle ever, (pdf) Have a try here.