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.
License | Apache 2.0 |
---|---|
Tags | automataapi |
Date | Feb 04, 2025 |
Files | pom (2 KB) jar (224 KB) View All |
Repositories | Central |
Ranking | #6656 in MvnRepository (See Top Artifacts) |
Used By | 71 artifacts |
Compile Dependencies (4)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Apache 2.0 | net.automatalib » automata-commons-settings | 0.12.0 | 0.12.1 | |
Collections Apache 2.0 | net.automatalib » automata-commons-smartcollections | 0.12.0 | 0.12.1 | |
Apache 2.0 | net.automatalib » automata-commons-util | 0.12.0 | 0.12.1 | |
Logging MIT | org.slf4j » slf4j-api | 2.0.16 | 2.0.17 |
Provided Dependencies (1)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Defect Detection MIT | org.checkerframework » checker-qual | 3.48.3 | 3.49.1 |
Test Dependencies (1)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
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 |