Stamina is an automaton and regular inference toolkit initially developped for the bas...
30 360 Téléchargements
Stamina-gui provides a web-based graphical interface for Stamina.
21 522 Téléchargements
aucune