A free, open-source Java library for modeling automata, graphs, and transition systems
Home Page:http://automatalib.net
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool