Home » net.automatalib » automata-util » 0.3.1-ase2013-tutorial

AutomataLib :: Utilities » 0.3.1-ase2013-tutorial

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

LicenseLGPL 3.0
Tagsautomata
DateNov 06, 2013
Filespom (1 KB)  jar (145 KB)  View All
RepositoriesCentralScala-SBT
Ranking#9415 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:

Compile Dependencies (4)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		net.automatalib » automata-commons-util 0.3.1-ase2013-tutorial0.12.1
Collections
Apache 2.0		net.automatalib » automata-commons-smartcollections 0.3.1-ase2013-tutorial0.12.1

Apache 2.0		net.automatalib » automata-api 0.3.1-ase2013-tutorial0.12.1

Apache 2.0		net.automatalib » automata-core 0.3.1-ase2013-tutorial0.12.1

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