Graphs, algorithms, logic and games for your Mac
Version: 0.9Gralog is tool for visualising, editing and testing graph based algorithms in logic, games and of course graph algorithms. Gralog is written in Java and is is supposed to run on most operating systems and architectures.
Operating System: Mac OS X
The main purpose of Gralog is to assist research and education in logic, games and graph algorithms.
To assist in teaching, Gralog provides methods for visualising the results and runs of algorithms on graphical structures as well as methods for visualising the evaluation of logical formulae and the winner of graph based games such as parity games. See the description of the individual modules for more on the teaching aspect and visualisation.
In terms of research, the aim of Gralog is to provide a platform or framework in which algorithms related to logic, games or graphs can be implemented easily. Based on the powerful Java Collection Classes, the graph library used and a growing number of implemented features, implementing an algorithm in a Gralog plugin is sometimes almost as writing pseudo code. Good examples for this are the algorithms for determining the winner in a finite game or a parity game.
NOTE: Gralog is licensed and distributed under the terms of the Common Public License 1.0.