Stamina is an automaton and regular inference toolkit initially developped for the bas...
30,360 ダウンロード数
Stamina-gui provides a web-based graphical interface for Stamina.
21,522 ダウンロード数
N/A