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

README.md

AutomataLib

Maven Central

AutomataLib is a free, open source (Apache License, v2.0) Java library for modeling automata, graphs, and transition systems.

About

AutomataLib is developed at the Dortmund University of Technology, Germany. Its original purpose is to serve as the automaton framework for the LearnLib active automata learning library. However, it is completely independent of LearnLib and can be used for other projects as well.

Please note that the development of AutomataLib is still in a very early stage. Currently, it mainly focuses on Deterministic Finite Automata (DFA) and Mealy machines. Also please note that many parts of the library have not yet been thoroughly tested.

Maintainers

Resources