TRAG

Description
Term, Rewriting, Automata and Graphs
Use cases
Recherche, Pédagogie
LaBRI contributors
Irène Durand, Bruno Courcelle, Michael Raskin
Source code depot
https://bitbucket.org/idurand/trag
Software licenses
CeCILL-C
Supported OS
Linux, MacOS
More informations
https://trag.labri.fr

Back