Home » net.automatalib » automata-commons-parent » 0.12.1

AutomataLib :: Commons » 0.12.1

Common parent metaproject for various small Java libraries which are required by AutomataLib, but are not specific to AutomataLib itself (i.e., are not or only indirectly related to modeling automata and graphs).

LicenseApache 2.0
Tagsautomatacommons
DateMar 11, 2025
Filespom (1 KB)  View All
RepositoriesCentral
Ranking#840333 in MvnRepository (See Top Artifacts)

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

Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

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.8-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.1 ✔

Apache 2.0		net.automatalib » automata-brics 0.12.1 ✔

Apache 2.0		net.automatalib » automata-api 0.12.1 ✔

Apache 2.0		net.automatalib » automata-build-config 0.12.1 ✔

Apache 2.0		net.automatalib » automata-build-parent 0.12.1 ✔

Apache 2.0		net.automatalib » automata-commons-parent 0.12.1 ✔

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

Apache 2.0		net.automatalib » automata-commons-util 0.12.1 ✔

Apache 2.0		net.automatalib » automata-core 0.12.1 ✔

Apache 2.0		net.automatalib » automata-incremental 0.12.1 ✔

Apache 2.0		net.automatalib » automata-modelchecking-parent 0.12.1 ✔

Apache 2.0		net.automatalib » automata-modelchecking-ltsmin 0.12.1 ✔

Apache 2.0		net.automatalib » automata-modelchecking-m3c 0.12.1 ✔

Apache 2.0		net.automatalib » automata-serialization-parent 0.12.1 ✔

Apache 2.0		net.automatalib » automata-serialization-aut 0.12.1 ✔

Apache 2.0		net.automatalib » automata-serialization-ba 0.12.1 ✔

Apache 2.0		net.automatalib » automata-serialization-dot 0.12.1 ✔

Apache 2.0		net.automatalib » automata-serialization-etf 0.12.1 ✔

Apache 2.0		net.automatalib » automata-serialization-fsm 0.12.1 ✔

Apache 2.0		net.automatalib » automata-serialization-learnlibv2 0.12.1 ✔

Apache 2.0		net.automatalib » automata-serialization-saf 0.12.1 ✔

Apache 2.0		net.automatalib » automata-serialization-taf 0.12.1 ✔

Apache 2.0		net.automatalib » automata-util 0.12.1 ✔

Apache 2.0		net.automatalib » automata-visualization-parent 0.12.1 ✔

Apache 2.0		net.automatalib » automata-dot-visualizer 0.12.1 ✔

Apache 2.0		net.automatalib » automata-jung-visualizer 0.12.1 ✔

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

Apache 2.0		net.automatalib.distribution » automata-distribution 0.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.2

MIT		org.kohsuke.metainf-services » metainf-services 1.11 ✔
Mocking
MIT		org.mockito » mockito-core 5.14.25.17.0
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