dk.brics.bisim
Classes 
BisimulationGame
JarResources