LearnLib/automatalib

A free, open-source Java library for automata, graphs, and transition systems

语言：Java · GitHub 星标：105 · Fork：36

话题：automata · automata-visualization · conformance-testing · dfa · graph · m3c · mealy-machine · minimization

在 GitHub 上查看原仓库