Home » net.automatalib » automata-dot-visualizer » 0.12.1

AutomataLib :: Visualization :: DOT Visualizer » 0.12.1

This artifact provides a visualization implementation based on the GraphVIZ DOT (http://www.graphviz.org/) tool.

LicenseApache 2.0
Tagsautomatavisualization
DateMar 11, 2025
Filespom (4 KB)  jar (24 KB)  View All
RepositoriesCentral
Ranking#313138 in MvnRepository (See Top Artifacts)
Used By1 artifacts

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

Compile Dependencies (5)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		net.automatalib » automata-api 0.12.1 ✔

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

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

Apache 2.0		net.automatalib » automata-serialization-dot 0.12.1 ✔
Logging
MIT		org.slf4j » slf4j-api 2.0.162.0.17

Provided Dependencies (2)

Category/License Group / ArtifactVersionUpdates
Defect Detection
MIT		org.checkerframework » checker-qual 3.48.33.49.2

MIT		org.kohsuke.metainf-services » metainf-services 1.11 ✔

Test Dependencies (6)

Category/License Group / ArtifactVersionUpdates

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

Apache 2.0		net.automatalib » automata-core 0.12.1 ✔

Apache 2.0		net.automatalib » automata-util 0.12.1 ✔

Apache 2.0		org.assertj » assertj-swing 3.17.1 ✔

Apache 2.0		org.assertj » assertj-swing-testng 3.17.1 ✔
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