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 | LGPL 3.0 |
|---|---|
| Tags | automata |
| Date | Apr 11, 2014 |
| Files | pom (2 KB) jar (134 KB) View All |
| Repositories | CentralEEA SKJCenter |
| Ranking | #7280 in MvnRepository (See Top Artifacts) |
| Used By | 65 artifacts |
Compile Dependencies (3)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
| Defect Detection LGPL 2.1 |  | com.google.code.findbugs » jsr305 | 2.0.3 | 4.9.3 |
Apache 2.0 | | net.automatalib » automata-commons-util | 0.4.0 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-api | 0.4.0 | 0.12.1 |
Test Dependencies (1)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
| Testing Apache 2.0 |  | org.testng » testng | 6.8.8 | 7.11.0 |
Licenses
| License | URL |
|---|---|
| GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 | http://www.gnu.org/licenses/lgpl-3.0-standalone.html |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Malte Isberner | malte.isberner<at>gmail.com | misberner | Developer | TU Dortmund, Chair for Programming Systems |