Gralog is tool developed in
my group for visualising, editing and testing
graph based algorithms in logic, games and of
course graph algorithms.
Its principle developers are Sebastian
Ordyniak and myself with plugins contributed
by Lukas Moll. The project has been supported
by the Deutsche Forschungsgemeinschaft (DFG) grant KR 2898/1-3.
Follow this link to the
Gralog web page.