Gralog

If you are interested in visualizing, editing, and testing graph-based algorithms for logic, games, and graphs, then you should check out Gralog. Written in Java, this tool is designed to run on just about any operating system and architecture. Its main purpose is to assist those in both the research and education areas of logic, games, and graph algorithms.

For teaching, Gralog offers visualization methods for algorithm runs and results on graphical structures, as well as evaluation of logical formulae and graph-based game winners like parity games. Its modules can provide more information on these teaching aspects and visualizations.

In terms of research, Gralog aims to be a framework or platform that makes it easy to implement algorithms related to logic, games, or graphs. This is thanks to the powerful Java Collection Classes, the graph library used, and the increasing number of implemented features. Some algorithms, like those for determining the winner in a finite game or parity game, can almost be written as pseudo-code when implementing them as a Gralog plugin.

Just keep in mind that Gralog's license falls under the Common Public License 1.0. If you're interested in exploring the educational and research possibilities of graph-based algorithms, then Gralog is definitely worth checking out.