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 | LGPL 3.0 |
---|---|
Tags | automataapi |
Date | Apr 11, 2014 |
Files | pom (1 KB) jar (59 KB) View All |
Repositories | CentralSonatypeSpring Lib Release |
Ranking | #6714 in MvnRepository (See Top Artifacts) |
Used By | 71 artifacts |
Compile Dependencies (2)
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 |
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 |