GrALoG- Graph,Algorithms,Logic and Games / News: Recent posts

The new release includes many changes to the application to make it more easy to use. There
is now also more documentation available under
http://gralog.sourceforge.net/doc/website/index.html.

Gralog is a tool for editing and visualising graphs and other graphical structures such as transition systems, automata and (parity)
games.

Through its plugin interface it allows the extension of the project and the implementation of algorithms on graphical structures. It provides powerful tools for visualising these algorithms.
Currently, various algorithms from graph theory, logic, automata and game theory (parity games, cops and robber games) have been implemented.... read more