Common parent meta-project for various adapters, i.e., wrapper class that allow to treat automaton or graph models from other software libraries as AutomataLib automata or graphs.

LicenseApache 2.0
Tagsautomataadapter
DateFeb 04, 2025
Filespom (1 KB)  View All
RepositoriesCentral
Ranking#557074 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.17

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