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 | Jun 08, 2014 |
| Files | pom (2 KB) jar (141 KB) View All |
| Repositories | CentralEEA SKJCenter |
| Ranking | #7953 in MvnRepository (See Top Artifacts) |
| Used By | 65 artifacts |
Compile Dependencies (5)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
| Defect Detection LGPL 2.1 |  | com.google.code.findbugs » jsr305 | 2.0.3 | 4.9.8 |
Apache 2.0 | | net.automatalib » automata-commons-util | 0.4.1 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-api | 0.4.1 | 0.12.1 |
| Collections LGPL 2.1 |  | net.sf.trove4j » trove4j | 3.0.3 | 3.1.0 |
| 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 |