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
DateFeb 04, 2025
Filespom (1 KB)  View All
RepositoriesCentral
Ranking#803943 in MvnRepository (See Top Artifacts)

Note: There is a new version for this artifact

New Version0.12.1


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-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