Package dk.brics.bisimulationGame

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