This artifact contains the API of AutomataLib, which mainly consists of interfaces
for the various concepts and automaton models supported by the AutomataLib core.
In addition to that, it also defines some fundamental classes for dealing with
words of symbols.
Latest Versions
17 versions →| Version | Vulnerabilities | Usages | Date | |
|---|---|---|---|---|
0.12.x | 0.12.1 |
17
| Mar 11, 2025 | |
| 0.12.0 |
50
| Feb 04, 2025 | ||
0.11.x | 0.11.0 |
54
| Nov 06, 2023 | |
0.10.x | 0.10.0 |
49
| Oct 11, 2020 | |
0.9.x | 0.9.0 |
49
| Feb 05, 2020 | |
0.8.x | 0.8.0 |
49
| Feb 18, 2019 | |
0.7.x | 0.7.1 |
43
| May 11, 2018 | |
| 0.7.0 |
43
| Feb 07, 2018 | ||
0.6.x | 0.6.0 |
20
| Jun 04, 2015 | |
0.5.x | 0.5.2 |
20
| Apr 26, 2015 | |
| 0.5.1 |
19
| Jan 15, 2015 | ||
0.4.x | 0.4.1 |
17
| Jun 08, 2014 | |
| 0.4.0 |
17
| Apr 11, 2014 | ||
0.3.x | 0.3.1 |
13
| Nov 06, 2013 | |
| 0.3.1-ase2013-tutorial |
13
| Nov 06, 2013 | ||
| 0.3.1-ase2013-tutorial-r1 |
16
| Dec 13, 2013 |
