This artifact provides various common utility operations for analyzing and manipulating
automata and graphs, such as traversal, minimization and copying.
| License | LGPL 3.0 |
|---|---|
| Tags | automata |
| Date | Jun 08, 2014 |
| Files | pom (2 KB) jar (230 KB) View All |
| Repositories | CentralScala-SBT |
| Ranking | #9415 in MvnRepository (See Top Artifacts) |
| Used By | 54 artifacts |
Compile Dependencies (7)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0 | com.github.misberner.duzzt » duzzt-processor | 0.0.2 | 0.1.0 | |
| 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 | |
| Collections Apache 2.0 | net.automatalib » automata-commons-smartcollections | 0.4.1 | 0.12.1 | |
Apache 2.0 | net.automatalib » automata-api | 0.4.1 | 0.12.1 | |
Apache 2.0 | net.automatalib » automata-core | 0.4.1 | 0.12.1 | |
| Testing Apache 2.0 | org.testng » testng | 6.8.8 | 7.11.0 |
Test Dependencies (1)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
| GraphViz Lib Apache 2.0 | net.automatalib » automata-commons-dotutil | 0.4.1 | 0.6.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 |