AutomataLib is a free, open source (Apache License, v2.0) Java library for modeling automata, graphs, and transition systems.
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.
- Maven Project Site (latest): snapshot | release
- API Documentation (latest): snapshot | release
- Q&A @ Google Groups -- automatalib-qa@googlegroups.com
- Discussion @ Google Groups -- automatalib-discussion@googlegroups.com
- Developers @ Google Groups (closed group) -- automatalib-devel@googlegroups.com