Common parent metaproject for various miscellaneous additions (algorithms, automaton types) to AutomataLib, which are rather specific in their respective use case.

LicenseLGPL 3.0
Tagsautomata
DateApr 26, 2015
Filespom (1 KB)  View All
RepositoriesCentralElyxor LibsSonatype
Ranking#671982 in MvnRepository (See Top Artifacts)
VulnerabilitiesVulnerabilities from dependencies:
CVE-2023-2976
CVE-2020-8908
CVE-2018-10237

Note: There is a new version for this artifact

New Version0.6.0

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

Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

Managed Dependencies (25)

Category/License Group / ArtifactVersionUpdates

Apache 2.0
com.github.misberner.duzzt » duzzt-processor 0.0.20.1.0
Defect Detection
LGPL 2.1
com.google.code.findbugs » jsr305 2.0.34.9.8
Core Utils
Apache 2.0
com.google.guava » guava3 vulnerabilities 18.033.5.0-jre

BSD
dk.brics.automaton » automaton 1.11-81.12-4

Apache 2.0
net.automatalib » automata-api 0.5.20.12.1

Apache 2.0
net.automatalib » automata-core 0.5.20.12.1

Apache 2.0
net.automatalib » automata-util 0.5.20.12.1

Apache 2.0
net.automatalib » automata-incremental 0.5.20.12.1

Apache 2.0
net.automatalib » automata-misc-algorithms 0.5.20.6.0

Apache 2.0
net.automatalib » automata-brics 0.5.20.12.1

Apache 2.0
net.automatalib » automata-commons-util 0.5.20.12.1
Collections
Apache 2.0
net.automatalib » automata-commons-smartcollections 0.5.20.12.1
GraphViz Lib
Apache 2.0
net.automatalib » automata-commons-dotutil 0.5.20.6.0

Apache 2.0
net.automatalib » automata-jung-visualizer 0.5.20.12.1

Apache 2.0
net.automatalib » automata-serialization-core 0.5.20.11.0

Apache 2.0
net.automatalib » automata-serialization-saf 0.5.20.12.1

Apache 2.0
net.automatalib » automata-serialization-learnlibv2 0.5.20.12.1

Apache 2.0
net.automatalib » automata-serialization-taf 0.5.20.12.1

BSD
net.sf.jung » jung-api 2.0.12.1.1
Graph Alg
BSD
net.sf.jung » jung-algorithms 2.0.12.1.1

BSD
net.sf.jung » jung-io 2.0.12.1.1

BSD
net.sf.jung » jung-graph-impl 2.0.12.1.1

BSD
net.sf.jung » jung-visualization 2.0.12.1.1
Collections
LGPL 2.1
net.sf.trove4j » trove4j 3.0.33.1.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