a

automata-core

The core artifact of AutomataLib. This library contains concrete implementations for many of the automaton model interfaces defined in the API artifact, as well as abstract base classes that facilitate implementing new automaton model classes. Note that concrete algorithms (traversal, reachability analysis etc.) are part of the automata-util artifact.
concrete facilitate note algorithms classes part artifact that library model traversal reachability implementations defined interfaces implementing this abstract many analysis automatalib core contains automaton util well automata base
Aggregated version Version Update time
0.11 0.11.0 Nov 06, 2023
0.10 0.10.0 Oct 11, 2020
0.9 0.9.0 Feb 05, 2020
0.8 0.8.0 Feb 18, 2019
0.7 0.7.1 May 11, 2018
0.7.0 Feb 07, 2018
0.6 0.6.0 Jun 04, 2015
0.5 0.5.2 Apr 27, 2015
0.5.1 Jan 15, 2015
0.4 0.4.1 Jun 09, 2014
0.4.0 Apr 11, 2014
0.3 0.3.1-ase2013-tutorial-r1 Dec 13, 2013
0.3.1 Nov 07, 2013
0.3.1-ase2013-tutorial Nov 07, 2013
0.3.0 Jun 14, 2013
15 Records