Home » net.automatalib.distribution » automata-distribution » 0.12.0

AutomataLib :: Distribution » 0.12.0

An artifact that aggregates all other artifacts of AutomataLib to produce an Uber-JAR that can be used in non-maven environments. Likewise, this single artifact may be used in maven-aware environments to declare a dependency on all AutomataLib artifacts.

LicenseApache 2.0
Tagsautomatadistribution
DateFeb 04, 2025
Filespom (19 KB)  View All
RepositoriesCentral
Ranking#157451 in MvnRepository (See Top Artifacts)
Used By3 artifacts

Note: There is a new version for this artifact

New Version0.12.1

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

Compile Dependencies (20)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		net.automatalib » automata-brics 0.12.00.12.1

Apache 2.0		net.automatalib » automata-api 0.12.00.12.1

Apache 2.0		net.automatalib » automata-commons-settings 0.12.00.12.1
Collections
Apache 2.0		net.automatalib » automata-commons-smartcollections 0.12.00.12.1

Apache 2.0		net.automatalib » automata-commons-util 0.12.00.12.1

Apache 2.0		net.automatalib » automata-core 0.12.00.12.1

Apache 2.0		net.automatalib » automata-incremental 0.12.00.12.1

Apache 2.0		net.automatalib » automata-modelchecking-ltsmin 0.12.00.12.1

Apache 2.0		net.automatalib » automata-modelchecking-m3c 0.12.00.12.1

Apache 2.0		net.automatalib » automata-serialization-aut 0.12.00.12.1

Apache 2.0		net.automatalib » automata-serialization-ba 0.12.00.12.1

Apache 2.0		net.automatalib » automata-serialization-dot 0.12.00.12.1

Apache 2.0		net.automatalib » automata-serialization-etf 0.12.00.12.1

Apache 2.0		net.automatalib » automata-serialization-fsm 0.12.00.12.1

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

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

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

Apache 2.0		net.automatalib » automata-util 0.12.00.12.1

Apache 2.0		net.automatalib » automata-dot-visualizer 0.12.00.12.1

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

Managed Dependencies (50)

Category/License Group / ArtifactVersionUpdates
Logging
EPL 1.0LGPL 2.1		ch.qos.logback » logback-classic 1.5.151.5.18

GPL 2.0		com.github.caciocavallosilano » cacio-tta 1.11.11.18

BSD		com.github.misberner.graphviz-awt-shapes » graphviz-awt-shapes 0.0.1 ✔
Core Utils
Apache 2.0		com.google.guava » guava 33.4.0-jre33.4.6-jre

Apache 2.0		de.learnlib.tooling » annotations 0.1.1 ✔

BSD		dk.brics » automaton 1.12-4 ✔

BSD 3-clause		info.scce » addlib-core 3.1.0 ✔

BSD 3-clause		info.scce » addlib-cudd 3.1.0 ✔

Apache 2.0		net.automatalib » automata-adapters-parent 0.12.00.12.1

Apache 2.0		net.automatalib » automata-brics 0.12.00.12.1

Apache 2.0		net.automatalib » automata-api 0.12.00.12.1

Apache 2.0		net.automatalib » automata-build-config 0.12.00.12.1

Apache 2.0		net.automatalib » automata-build-parent 0.12.00.12.1

Apache 2.0		net.automatalib » automata-commons-parent 0.12.00.12.1

Apache 2.0		net.automatalib » automata-commons-settings 0.12.00.12.1
Collections
Apache 2.0		net.automatalib » automata-commons-smartcollections 0.12.00.12.1

Apache 2.0		net.automatalib » automata-commons-util 0.12.00.12.1

Apache 2.0		net.automatalib » automata-core 0.12.00.12.1

Apache 2.0		net.automatalib » automata-incremental 0.12.00.12.1

Apache 2.0		net.automatalib » automata-modelchecking-parent 0.12.00.12.1

Apache 2.0		net.automatalib » automata-modelchecking-ltsmin 0.12.00.12.1

Apache 2.0		net.automatalib » automata-modelchecking-m3c 0.12.00.12.1

Apache 2.0		net.automatalib » automata-serialization-parent 0.12.00.12.1

Apache 2.0		net.automatalib » automata-serialization-aut 0.12.00.12.1

Apache 2.0		net.automatalib » automata-serialization-ba 0.12.00.12.1

Apache 2.0		net.automatalib » automata-serialization-dot 0.12.00.12.1

Apache 2.0		net.automatalib » automata-serialization-etf 0.12.00.12.1

Apache 2.0		net.automatalib » automata-serialization-fsm 0.12.00.12.1

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

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

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

Apache 2.0		net.automatalib » automata-util 0.12.00.12.1

Apache 2.0		net.automatalib » automata-visualization-parent 0.12.00.12.1

Apache 2.0		net.automatalib » automata-dot-visualizer 0.12.00.12.1

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

Apache 2.0		net.automatalib.archetypes » automata-archetypes-parent 0.12.00.12.1
Maven Archetype
Apache 2.0		net.automatalib.archetypes » basic 0.12.00.12.1
Maven Archetype
Apache 2.0		net.automatalib.archetypes » complete 0.12.00.12.1

Apache 2.0		net.automatalib.distribution » automata-distribution 0.12.00.12.1

BSD		net.sf.jung » jung-api 2.1.1 ✔
Graph Alg
BSD		net.sf.jung » jung-algorithms 2.1.1 ✔

BSD		net.sf.jung » jung-graph-impl 2.1.1 ✔

BSD		net.sf.jung » jung-visualization 2.1.1 ✔

Apache 2.0		org.assertj » assertj-swing 3.17.1 ✔

Apache 2.0		org.assertj » assertj-swing-testng 3.17.1 ✔
Defect Detection
MIT		org.checkerframework » checker-qual 3.48.33.49.1

MIT		org.kohsuke.metainf-services » metainf-services 1.11 ✔
Mocking
MIT		org.mockito » mockito-core 5.14.25.16.1
Logging
MIT		org.slf4j » slf4j-api 2.0.162.0.17
Testing
Apache 2.0		org.testng » testng 7.10.27.11.0

Licenses

LicenseURL
Apache License, Version 2.0 https://www.apache.org/licenses/LICENSE-2.0.txt

Developers

NameEmailDev IdRolesOrganization
Markus Frohmemarkus.frohme<at>udo.edumtf90Developer, MaintainerTU Dortmund University, Chair of Programming Systems