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.
| License | Apache 2.0 |
|---|---|
| Tags | automata |
| Date | Feb 04, 2025 |
| Files | pom (2 KB) jar (166 KB) View All |
| Repositories | Central |
| Ranking | #7314 in MvnRepository (See Top Artifacts) |
| Used By | 65 artifacts |
Compile Dependencies (2)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0 | | net.automatalib » automata-api | 0.12.0 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-commons-util | 0.12.0 | 0.12.1 |
Provided Dependencies (1)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
| Defect Detection MIT |  | org.checkerframework » checker-qual | 3.48.3 | 3.49.1 |
Test Dependencies (2)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
| Mocking MIT |  | org.mockito » mockito-core | 5.14.2 | 5.16.1 |
| Testing Apache 2.0 |  | org.testng » testng | 7.10.2 | 7.11.0 |
Licenses
| License | URL |
|---|---|
| Apache License, Version 2.0 | https://www.apache.org/licenses/LICENSE-2.0.txt |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Markus Frohme | markus.frohme<at>udo.edu | mtf90 | Developer, Maintainer | TU Dortmund University, Chair of Programming Systems |