Project Dependencies

test

The following is a list of test dependencies for this project. These dependencies are only required to compile and run unit tests for the application:

GroupId ArtifactId Version Type Licenses
net.automatalib.distribution automata-distribution 0.11.0 pom Apache License, Version 2.0

Project Transitive Dependencies

The following is a list of transitive dependencies for this project. Transitive dependencies are the dependencies of the project dependencies.

test

The following is a list of test dependencies for this project. These dependencies are only required to compile and run unit tests for the application:

GroupId ArtifactId Version Classifier Type Licenses
com.github.misberner.graphviz-awt-shapes graphviz-awt-shapes 0.0.1 - jar The BSD License
com.google.errorprone error_prone_annotations 2.21.1 - jar Apache 2.0
com.google.guava failureaccess 1.0.1 - jar The Apache Software License, Version 2.0
com.google.guava guava 32.1.3-jre - jar Apache License, Version 2.0
com.google.guava listenablefuture 9999.0-empty-to-avoid-conflict-with-guava - jar The Apache Software License, Version 2.0
com.google.j2objc j2objc-annotations 2.8 - jar Apache License, Version 2.0
info.scce addlib-api 3.0.1 - jar 3-Clause BSD License
info.scce addlib-core 3.0.1 - jar 3-Clause BSD License
info.scce addlib-util 3.0.1 - jar 3-Clause BSD License
net.automatalib automata-api 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-api 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-brics 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-brics 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-commons-smartcollections 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-commons-smartcollections 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-commons-util 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-commons-util 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-core 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-core 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-dot-visualizer 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-dot-visualizer 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-incremental 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-incremental 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-jung-visualizer 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-jung-visualizer 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-modelchecking-ltsmin 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-modelchecking-ltsmin 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-modelchecking-m3c 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-modelchecking-m3c 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-aut 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-serialization-aut 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-core 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-serialization-core 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-dot 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-serialization-dot 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-etf 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-serialization-etf 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-fsm 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-serialization-fsm 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-learnlibv2 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-serialization-learnlibv2 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-saf 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-serialization-saf 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-taf 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-serialization-taf 0.11.0 - jar Apache License, Version 2.0
net.automatalib automata-util 0.11.0 sources jar Apache License, Version 2.0
net.automatalib automata-util 0.11.0 - jar Apache License, Version 2.0
net.sf.jung jung-algorithms 2.1.1 - jar The BSD License
net.sf.jung jung-api 2.1.1 - jar The BSD License
net.sf.jung jung-graph-impl 2.1.1 - jar The BSD License
net.sf.jung jung-visualization 2.1.1 - jar The BSD License
org.abego.treelayout org.abego.treelayout.core 1.0.1 - jar BSD 3-Clause "New" or "Revised" License (BSD-3-Clause)
org.antlr antlr4-runtime 4.5 - jar BSD 3-Clause License
org.checkerframework checker-qual 3.7.0 - jar The MIT License
org.ejml ejml-core 0.41 - jar The Apache License, Version 2.0
org.ejml ejml-ddense 0.41 - jar The Apache License, Version 2.0
org.slf4j slf4j-api 2.0.9 - jar MIT License

Project Dependency Graph

Dependency Tree

Licenses

BSD 3-Clause License: ANTLR 4 Runtime

BSD 3-Clause "New" or "Revised" License (BSD-3-Clause): abego TreeLayout Core

3-Clause BSD License: ADDLib :: API, ADDLib :: Core, ADDLib :: Util

Apache 2.0: error-prone annotations

The Apache License, Version 2.0: EJML

The BSD License: GraphVIZ AWT Shapes, JUNG - API, JUNG - Algorithms, JUNG - Graph Implementations, JUNG - Visualization Support

The MIT License: Checker Qual

MIT License: SLF4J API Module

Apache License, Version 2.0: AutomataLib :: API, AutomataLib :: Adapters :: BRICS, AutomataLib :: Archetypes :: Complete, AutomataLib :: Commons :: Smart Collections, AutomataLib :: Commons :: Utilities, AutomataLib :: Core, AutomataLib :: Distribution, AutomataLib :: Incremental, AutomataLib :: Model Checking :: LTSmin, AutomataLib :: Model Checking :: M3C, AutomataLib :: Serialization :: AUT, AutomataLib :: Serialization :: Core, AutomataLib :: Serialization :: DOT, AutomataLib :: Serialization :: ETF, AutomataLib :: Serialization :: FSM, AutomataLib :: Serialization :: LearnLibV2, AutomataLib :: Serialization :: SAF, AutomataLib :: Serialization :: TAF, AutomataLib :: Utilities, AutomataLib :: Visualization :: DOT Visualizer, AutomataLib :: Visualization :: JUNG Visualizer, Guava: Google Core Libraries for Java, J2ObjC Annotations

The Apache Software License, Version 2.0: Guava InternalFutureFailureAccess and InternalFutures, Guava ListenableFuture only

Dependency File Details

Filename Size Entries Classes Packages Java Version Debug Information
graphviz-awt-shapes-0.0.1.jar 21.8 kB 37 21 3 1.7 Yes
error_prone_annotations-2.21.1.jar 16.8 kB 39 27 2 1.8 Yes
failureaccess-1.0.1.jar 4.6 kB 15 2 1 1.7 Yes
guava-32.1.3-jre.jar 3 MB 2060 2020 18 1.8 Yes
listenablefuture-9999.0-empty-to-avoid-conflict-with-guava.jar 2.2 kB 7 0 0 - -
j2objc-annotations-2.8.jar 9.3 kB 24 13 1 1.7 Yes
addlib-api-3.0.1.jar 20.7 kB 33 18 5 1.8 Yes
addlib-core-3.0.1.jar 274.8 kB 208 179 19 1.8 Yes
addlib-util-3.0.1.jar 4.7 kB 13 2 1 1.8 Yes
automata-api-0.11.0-sources.jar 187.6 kB 207 0 0 - -
automata-api-0.11.0.jar 212.6 kB 276 236 30 1.8 Yes
automata-brics-0.11.0-sources.jar 9.7 kB 16 0 0 - -
automata-brics-0.11.0.jar 9.9 kB 17 7 1 1.8 Yes
automata-commons-smartcollections-0.11.0-sources.jar 39.9 kB 37 0 0 - -
automata-commons-smartcollections-0.11.0.jar 47.9 kB 53 42 1 1.8 Yes
automata-commons-util-0.11.0-sources.jar 90.2 kB 101 0 0 - -
automata-commons-util-0.11.0.jar 99.3 kB 115 87 17 1.8 Yes
automata-core-0.11.0-sources.jar 118.4 kB 124 0 0 - -
automata-core-0.11.0.jar 162.8 kB 144 115 17 1.8 Yes
automata-dot-visualizer-0.11.0-sources.jar 15.4 kB 19 0 0 - -
automata-dot-visualizer-0.11.0.jar 24.3 kB 27 14 1 1.8 Yes
automata-incremental-0.11.0-sources.jar 69.8 kB 58 0 0 - -
automata-incremental-0.11.0.jar 120.2 kB 93 74 10 1.8 Yes
automata-jung-visualizer-0.11.0-sources.jar 6.1 kB 12 0 0 - -
automata-jung-visualizer-0.11.0.jar 11.4 kB 16 3 1 1.8 Yes
automata-modelchecking-ltsmin-0.11.0-sources.jar 55.5 kB 46 0 0 - -
automata-modelchecking-ltsmin-0.11.0.jar 68.2 kB 50 37 3 1.8 Yes
automata-modelchecking-m3c-0.11.0-sources.jar 98.5 kB 87 0 0 - -
automata-modelchecking-m3c-0.11.0.jar 123.2 kB 88 69 9 1.8 Yes
automata-serialization-aut-0.11.0-sources.jar 8.5 kB 15 0 0 - -
automata-serialization-aut-0.11.0.jar 12.3 kB 16 5 1 1.8 Yes
automata-serialization-core-0.11.0-sources.jar 14.7 kB 23 0 0 - -
automata-serialization-core-0.11.0.jar 11.4 kB 23 12 2 1.8 Yes
automata-serialization-dot-0.11.0-sources.jar 38.9 kB 31 0 0 - -
automata-serialization-dot-0.11.0.jar 51.8 kB 31 20 1 1.8 Yes
automata-serialization-etf-0.11.0-sources.jar 10 kB 16 0 0 - -
automata-serialization-etf-0.11.0.jar 13.4 kB 16 4 1 1.8 Yes
automata-serialization-fsm-0.11.0-sources.jar 17.4 kB 18 0 0 - -
automata-serialization-fsm-0.11.0.jar 21.8 kB 20 8 1 1.8 Yes
automata-serialization-learnlibv2-0.11.0-sources.jar 4.6 kB 12 0 0 - -
automata-serialization-learnlibv2-0.11.0.jar 6.3 kB 12 1 1 1.8 Yes
automata-serialization-saf-0.11.0-sources.jar 14.5 kB 22 0 0 - -
automata-serialization-saf-0.11.0.jar 19.8 kB 22 11 1 1.8 Yes
automata-serialization-taf-0.11.0-sources.jar 35.4 kB 35 0 0 - -
automata-serialization-taf-0.11.0.jar 47.4 kB 35 22 3 1.8 Yes
automata-util-0.11.0-sources.jar 257.4 kB 194 0 0 - -
automata-util-0.11.0.jar 412.2 kB 277 233 34 1.8 Yes
pom.xml 18.4 kB - - - - -
jung-algorithms-2.1.1.jar 230.2 kB 161 134 15 1.6 Yes
jung-api-2.1.1.jar 42.2 kB 52 38 3 1.6 Yes
jung-graph-impl-2.1.1.jar 66 kB 46 33 2 1.6 Yes
jung-visualization-2.1.1.jar 359.9 kB 261 238 12 1.6 Yes
org.abego.treelayout.core-1.0.1.jar 25.5 kB 36 19 6 1.5 Yes
antlr4-runtime-4.5.jar 374 kB 267 246 14 1.6 Yes
checker-qual-3.7.0.jar 226.2 kB 402 337 35 1.8 Yes
ejml-core-0.41.jar 259 kB 212 198 10 1.8 Yes
ejml-ddense-0.41.jar 408.1 kB 187 151 29 1.8 Yes
slf4j-api-2.0.9.jar 64.6 kB 67 52 5 9 Yes
Total Size Entries Classes Packages Java Version Debug Information
58 8 MB 6531 4728 316 9 37
test: 58 test: 8 MB test: 6531 test: 4728 test: 316 9 test: 37