Graphical interface and graph generator for the Maude strategy model checker
Primary LanguageGoGNU General Public License v3.0GPL-3.0