Stamina is an automaton and regular inference toolkit initially developped for the bas...
30.362 Downloads
k.A.