Home » net.automatalib » automata-incremental » 0.5.1

AutomataLib :: Incremental » 0.5.1

This artifact contains algorithms for incrementally constructing DFAs (prefix-closed and non-prefix-closed), Mealy machines, and Moore machines from a finite, incrementally growing set of example inputs/outputs.

LicenseLGPL 3.0
Tagsautomataincremental
DateJan 15, 2015
Filespom (2 KB)  jar (82 KB)  View All
RepositoriesCentralEndeavourHealth
Ranking#91182 in MvnRepository (See Top Artifacts)
Used By5 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 (6)

Category/License Group / ArtifactVersionUpdates
Defect Detection
LGPL 2.1		com.google.code.findbugs » jsr305 2.0.34.9.8

Apache 2.0		net.automatalib » automata-commons-util 0.5.10.12.1
Collections
Apache 2.0		net.automatalib » automata-commons-smartcollections 0.5.10.12.1

Apache 2.0		net.automatalib » automata-api 0.5.10.12.1

Apache 2.0		net.automatalib » automata-core 0.5.10.12.1

Apache 2.0		net.automatalib » automata-util 0.5.10.12.1

Test Dependencies (2)

Category/License Group / ArtifactVersionUpdates
GraphViz Lib
Apache 2.0		net.automatalib » automata-commons-dotutil 0.5.10.6.0
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