This artifact provides a visualization implementation based on the GraphVIZ DOT (http://www.graphviz.org/) tool.
| License | Apache 2.0 |
|---|---|
| Tags | automatavisualization |
| Date | Nov 06, 2023 |
| Files | pom (4 KB) jar (23 KB) View All |
| Repositories | Central |
| Ranking | #284477 in MvnRepository (See Top Artifacts) |
| Used By | 1 artifacts |
Compile Dependencies (12)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
GPL 2.0 |  | com.github.caciocavallosilano » cacio-tta | 1.10 | 1.18 |
| Core Utils Apache 2.0 |  | com.google.guava » guava | 32.1.3-jre | 33.5.0-jre |
Apache 2.0 | | net.automatalib » automata-api | 0.11.0 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-commons-util | 0.11.0 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-core | 0.11.0 | 0.12.1 |
Apache 2.0 | | net.automatalib » automata-serialization-dot | 0.11.0 | 0.12.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.7.0 | 3.52.0 |
MIT |  | org.kohsuke.metainf-services » metainf-services | 1.8 | 1.11 |
| Logging MIT |  | org.slf4j » slf4j-api | 2.0.9 | 2.0.17 |
| Testing Apache 2.0 |  | org.testng » testng | 7.5.1 | 7.11.0 |
Test Dependencies (1)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0 | | net.automatalib » automata-util | 0.11.0 | 0.12.1 |
Licenses
| License | URL |
|---|---|
| Apache License, Version 2.0 | http://www.apache.org/licenses/LICENSE-2.0.txt |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Markus Frohme | markus.frohme<at>udo.edu | mtf90 | Developer, Maintainer | TU Dortmund University, Chair of Programming Systems |
| Malte Isberner | malte.isberner<at>gmail.com | misberner | Developer (inactive), Maintainer (inactive) | TU Dortmund University, Chair of Programming Systems |