GROOVE is a tool for graph transformation and verification, developed and maintained at the University of Twente.
The latest pre-packaged release can be obtained from https://github.com/nl-utwente-groove/code/releases/latest. For older versions go to https://github.com/nl-utwente-groove/code/releases.
As of March 2024, this github organisation (https://github.com/nl-utwente-groove) hosts the code and website of the GROOVE project. It consists of the following (main) repositories:
- Code: The codebase for GROOVE. Go there to get the source code and to report issues (bugs and feature requests)
- Samples: A collection of sample rule systems, demonstrating the various GROOVE features
- Grammars: A collection of larger rule systems, used in various projects, publications and tutorials
More information van be found on the GROOVE home page: https://groove.cs.utwente.nl.