This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying.

LicenseLGPL 3.0
Tagsautomata
DateApr 11, 2014
Filespom (2 KB)  jar (228 KB)  View All
RepositoriesCentralScala-SBT
Ranking#8708 in MvnRepository (See Top Artifacts)
Used By54 artifacts

Note: There is a new version for this artifact

New Version0.12.1

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Provided Dependencies (1)

Category/License Group / ArtifactVersionUpdates

Apache 2.0
com.github.misberner.duzzt » duzzt-processor 0.0.20.1.0

Test Dependencies (1)

Category/License Group / ArtifactVersionUpdates
Testing
Apache 2.0
org.testng » testng 6.8.87.11.0

Licenses

LicenseURL
GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 http://www.gnu.org/licenses/lgpl-3.0-standalone.html

Developers

NameEmailDev IdRolesOrganization
Malte Isbernermalte.isberner<at>gmail.commisbernerDeveloperTU Dortmund, Chair for Programming Systems