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
de.learnlib.distribution learnlib-distribution 0.17.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.18.0 - 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.2-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
de.learnlib learnlib-aaar 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-aaar 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-adt 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-adt 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-api 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-api 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-cache 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-cache 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-counterexamples 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-counterexamples 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-dt 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-dt 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-list 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-list 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-ot 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-ot 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-pta 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-pta 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-dhc 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-dhc 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-drivers-basic 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-drivers-basic 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-drivers-simulator 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-drivers-simulator 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-emptiness-oracles 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-emptiness-oracles 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-equivalence-oracles 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-equivalence-oracles 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-kearns-vazirani 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-kearns-vazirani 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-lstar 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-lstar 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-mapper 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-mapper 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-membership-oracles 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-membership-oracles 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-nlstar 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-nlstar 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-observation-pack 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-observation-pack 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-observation-pack-vpa 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-observation-pack-vpa 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-oml 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-oml 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-ostia 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-parallelism 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-parallelism 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-procedural 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-procedural 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-property-oracles 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-property-oracles 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-reuse 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-reuse 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-rpni 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-rpni 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-rpni-edsm 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-rpni-edsm 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-rpni-mdl 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-rpni-mdl 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-settings 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-settings 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-statistics 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-statistics 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-ttt 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-ttt 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-ttt-vpa 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-ttt-vpa 0.17.0 - jar Apache License, Version 2.0
de.learnlib learnlib-util 0.17.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-util 0.17.0 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - jar Apache License, Version 2.0
net.automatalib.distribution automata-distribution 0.11.0 - pom 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 :: 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, LearnLib :: API, LearnLib :: Algorithms :: AAAR, LearnLib :: Algorithms :: ADT, LearnLib :: Algorithms :: DHC, LearnLib :: Algorithms :: Kearns/Vazirani, LearnLib :: Algorithms :: L*, LearnLib :: Algorithms :: NL*, LearnLib :: Algorithms :: OML, LearnLib :: Algorithms :: OSTIA, LearnLib :: Algorithms :: Observation Pack, LearnLib :: Algorithms :: Observation Pack [VPA], LearnLib :: Algorithms :: Procedural, LearnLib :: Algorithms :: RPNI, LearnLib :: Algorithms :: RPNI (EDSM), LearnLib :: Algorithms :: RPNI (MDL), LearnLib :: Algorithms :: TTT, LearnLib :: Algorithms :: TTT [VPA], LearnLib :: Archetypes :: Complete, LearnLib :: Commons :: Counterexamples, LearnLib :: Commons :: Settings, LearnLib :: Commons :: Util, LearnLib :: Datastructures :: Discrimination Tree, LearnLib :: Datastructures :: List, LearnLib :: Datastructures :: Observationtable, LearnLib :: Datastructures :: PTA, LearnLib :: Distribution, LearnLib :: Drivers :: Basic, LearnLib :: Drivers :: Mapper, LearnLib :: Drivers :: Simulator, LearnLib :: Filters :: Cache, LearnLib :: Filters :: Reuse, LearnLib :: Filters :: Statistics, LearnLib :: Oracles :: Emptiness Oracles, LearnLib :: Oracles :: Equivalence Oracles, LearnLib :: Oracles :: Membership Oracles, LearnLib :: Oracles :: Parallelism, LearnLib :: Oracles :: Property Oracles

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.18.0.jar 16 kB 38 26 2 1.8 Yes
failureaccess-1.0.1.jar 4.6 kB 15 2 1 1.7 Yes
guava-32.1.2-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
learnlib-aaar-0.17.0-sources.jar 27.6 kB 33 0 0 - -
learnlib-aaar-0.17.0.jar 32.3 kB 36 22 4 1.8 Yes
learnlib-adt-0.17.0-sources.jar 60.5 kB 59 0 0 - -
learnlib-adt-0.17.0.jar 79.4 kB 67 44 13 1.8 Yes
learnlib-api-0.17.0-sources.jar 58.7 kB 67 0 0 - -
learnlib-api-0.17.0.jar 59 kB 110 93 9 1.8 Yes
learnlib-cache-0.17.0-sources.jar 37.7 kB 38 0 0 - -
learnlib-cache-0.17.0.jar 54.6 kB 54 39 5 1.8 Yes
learnlib-counterexamples-0.17.0-sources.jar 23.6 kB 28 0 0 - -
learnlib-counterexamples-0.17.0.jar 28.7 kB 39 28 2 1.8 Yes
learnlib-datastructure-dt-0.17.0-sources.jar 20.9 kB 27 0 0 - -
learnlib-datastructure-dt-0.17.0.jar 28.8 kB 31 18 3 1.8 Yes
learnlib-datastructure-list-0.17.0-sources.jar 5.3 kB 14 0 0 - -
learnlib-datastructure-list-0.17.0.jar 5.6 kB 15 4 1 1.8 Yes
learnlib-datastructure-ot-0.17.0-sources.jar 30.3 kB 30 0 0 - -
learnlib-datastructure-ot-0.17.0.jar 37.2 kB 33 20 3 1.8 Yes
learnlib-datastructure-pta-0.17.0-sources.jar 21.3 kB 26 0 0 - -
learnlib-datastructure-pta-0.17.0.jar 37.7 kB 35 22 3 1.8 Yes
learnlib-dhc-0.17.0-sources.jar 9.1 kB 16 0 0 - -
learnlib-dhc-0.17.0.jar 12.8 kB 18 6 2 1.8 Yes
learnlib-drivers-basic-0.17.0-sources.jar 13.5 kB 23 0 0 - -
learnlib-drivers-basic-0.17.0.jar 12.6 kB 23 12 2 1.8 Yes
learnlib-drivers-simulator-0.17.0-sources.jar 6.1 kB 14 0 0 - -
learnlib-drivers-simulator-0.17.0.jar 8.9 kB 17 6 1 1.8 Yes
learnlib-emptiness-oracles-0.17.0-sources.jar 7.4 kB 17 0 0 - -
learnlib-emptiness-oracles-0.17.0.jar 8.1 kB 17 6 1 1.8 Yes
learnlib-equivalence-oracles-0.17.0-sources.jar 67.2 kB 75 0 0 - -
learnlib-equivalence-oracles-0.17.0.jar 75.5 kB 75 59 6 1.8 Yes
learnlib-kearns-vazirani-0.17.0-sources.jar 17.6 kB 21 0 0 - -
learnlib-kearns-vazirani-0.17.0.jar 30.6 kB 25 12 3 1.8 Yes
learnlib-lstar-0.17.0-sources.jar 50.2 kB 57 0 0 - -
learnlib-lstar-0.17.0.jar 70.2 kB 66 48 8 1.8 Yes
learnlib-mapper-0.17.0-sources.jar 8.3 kB 16 0 0 - -
learnlib-mapper-0.17.0.jar 9.1 kB 16 6 1 1.8 Yes
learnlib-membership-oracles-0.17.0-sources.jar 19.3 kB 27 0 0 - -
learnlib-membership-oracles-0.17.0.jar 24.9 kB 31 20 1 1.8 Yes
learnlib-nlstar-0.17.0-sources.jar 11.1 kB 17 0 0 - -
learnlib-nlstar-0.17.0.jar 15.8 kB 18 7 1 1.8 Yes
learnlib-observation-pack-0.17.0-sources.jar 23.3 kB 30 0 0 - -
learnlib-observation-pack-0.17.0.jar 37.7 kB 37 22 5 1.8 Yes
learnlib-observation-pack-vpa-0.17.0-sources.jar 20.9 kB 27 0 0 - -
learnlib-observation-pack-vpa-0.17.0.jar 32.5 kB 29 16 2 1.8 Yes
learnlib-oml-0.17.0-sources.jar 34.4 kB 45 0 0 - -
learnlib-oml-0.17.0.jar 50 kB 45 27 8 1.8 Yes
learnlib-ostia-0.17.0.jar 18.6 kB 21 10 1 1.8 Yes
learnlib-parallelism-0.17.0-sources.jar 41.3 kB 45 0 0 - -
learnlib-parallelism-0.17.0.jar 49.9 kB 50 33 5 1.8 Yes
learnlib-procedural-0.17.0-sources.jar 54.3 kB 51 0 0 - -
learnlib-procedural-0.17.0.jar 83.9 kB 58 38 9 1.8 Yes
learnlib-property-oracles-0.17.0-sources.jar 12.3 kB 20 0 0 - -
learnlib-property-oracles-0.17.0.jar 16.1 kB 22 11 1 1.8 Yes
learnlib-reuse-0.17.0-sources.jar 19.7 kB 21 0 0 - -
learnlib-reuse-0.17.0.jar 26.5 kB 28 16 2 1.8 Yes
learnlib-rpni-0.17.0-sources.jar 10.3 kB 16 0 0 - -
learnlib-rpni-0.17.0.jar 10.8 kB 16 5 1 1.8 Yes
learnlib-rpni-edsm-0.17.0-sources.jar 5.8 kB 13 0 0 - -
learnlib-rpni-edsm-0.17.0.jar 6.9 kB 13 2 1 1.8 Yes
learnlib-rpni-mdl-0.17.0-sources.jar 5.8 kB 13 0 0 - -
learnlib-rpni-mdl-0.17.0.jar 7 kB 13 2 1 1.8 Yes
learnlib-settings-0.17.0-sources.jar 10.3 kB 20 0 0 - -
learnlib-settings-0.17.0.jar 10 kB 23 9 2 1.8 Yes
learnlib-statistics-0.17.0-sources.jar 23.4 kB 38 0 0 - -
learnlib-statistics-0.17.0.jar 25.1 kB 38 24 4 1.8 Yes
learnlib-ttt-0.17.0-sources.jar 44.9 kB 43 0 0 - -
learnlib-ttt-0.17.0.jar 72.9 kB 54 39 5 1.8 Yes
learnlib-ttt-vpa-0.17.0-sources.jar 16.1 kB 21 0 0 - -
learnlib-ttt-vpa-0.17.0.jar 24.4 kB 24 12 1 1.8 Yes
learnlib-util-0.17.0-sources.jar 17.4 kB 26 0 0 - -
learnlib-util-0.17.0.jar 26.1 kB 32 18 5 1.8 Yes
pom.xml 24.1 kB - - - - -
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.jar 212.6 kB 276 236 30 1.8 Yes
automata-brics-0.11.0.jar 9.9 kB 17 7 1 1.8 Yes
automata-commons-smartcollections-0.11.0.jar 47.9 kB 53 42 1 1.8 Yes
automata-commons-util-0.11.0.jar 99.3 kB 115 87 17 1.8 Yes
automata-core-0.11.0.jar 162.8 kB 144 115 17 1.8 Yes
automata-dot-visualizer-0.11.0.jar 24.3 kB 27 14 1 1.8 Yes
automata-incremental-0.11.0.jar 120.2 kB 93 74 10 1.8 Yes
automata-jung-visualizer-0.11.0.jar 11.4 kB 16 3 1 1.8 Yes
automata-modelchecking-ltsmin-0.11.0.jar 68.2 kB 50 37 3 1.8 Yes
automata-modelchecking-m3c-0.11.0.jar 123.2 kB 88 69 9 1.8 Yes
automata-serialization-aut-0.11.0.jar 12.3 kB 16 5 1 1.8 Yes
automata-serialization-core-0.11.0.jar 11.4 kB 23 12 2 1.8 Yes
automata-serialization-dot-0.11.0.jar 51.8 kB 31 20 1 1.8 Yes
automata-serialization-etf-0.11.0.jar 13.4 kB 16 4 1 1.8 Yes
automata-serialization-fsm-0.11.0.jar 21.8 kB 20 8 1 1.8 Yes
automata-serialization-learnlibv2-0.11.0.jar 6.3 kB 12 1 1 1.8 Yes
automata-serialization-saf-0.11.0.jar 19.8 kB 22 11 1 1.8 Yes
automata-serialization-taf-0.11.0.jar 47.4 kB 35 22 3 1.8 Yes
automata-util-0.11.0.jar 412.2 kB 277 233 34 1.8 Yes
automata-distribution-0.11.0.pom 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
109 8.9 MB 7720 5483 438 9 72
test: 109 test: 8.9 MB test: 7720 test: 5483 test: 438 9 test: 72