Package dk.brics.bisim

Class Summary
BisimulationGame The main class of the application.
JarResources A class for reading resources from a jar file.