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 | Apr 11, 2014 |
Files | pom (2 KB) jar (228 KB) View All |
Repositories | CentralScala-SBT |
Ranking | #8708 in MvnRepository (See Top Artifacts) |
Used By | 54 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.3 | |
Apache 2.0 | net.automatalib » automata-commons-util | 0.4.0 | 0.12.1 | |
Collections Apache 2.0 | net.automatalib » automata-commons-smartcollections | 0.4.0 | 0.12.1 | |
Apache 2.0 | net.automatalib » automata-api | 0.4.0 | 0.12.1 | |
Apache 2.0 | net.automatalib » automata-core | 0.4.0 | 0.12.1 |
Provided Dependencies (1)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Apache 2.0 | com.github.misberner.duzzt » duzzt-processor | 0.0.2 | 0.1.0 |
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 |