groove
6.7.3
nl.utwente.groove:groove · GROOVE: GUI, command-line tools and library for graph transformation and state space exploration.
nl.utwente.groove:groove · GROOVE: GUI, command-line tools and library for graph transformation and state space exploration.