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.18.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.code.findbugs jsr305 3.0.2 - jar The Apache Software License, Version 2.0
com.google.errorprone error_prone_annotations 2.36.0 - jar Apache 2.0
com.google.guava failureaccess 1.0.2 - jar The Apache Software License, Version 2.0
com.google.guava guava 33.4.0-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 3.0.0 - jar Apache License, Version 2.0
de.learnlib learnlib-aaar 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-aaar 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-adt 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-adt 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-api 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-api 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-cache 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-cache 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-counterexamples 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-counterexamples 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-datastructures 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-datastructures 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-dhc 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-dhc 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-drivers-basic 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-drivers-basic 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-drivers-simulator 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-drivers-simulator 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-emptiness-oracles 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-emptiness-oracles 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-equivalence-oracles 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-equivalence-oracles 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-kearns-vazirani 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-kearns-vazirani 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-lambda 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-lambda 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-lsharp 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-lsharp 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-lstar 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-lstar 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-mapper 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-mapper 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-membership-oracles 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-membership-oracles 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-nlstar 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-nlstar 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-observation-pack 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-observation-pack 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-observation-pack-vpa 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-observation-pack-vpa 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-ostia 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-parallelism 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-parallelism 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-procedural 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-procedural 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-property-oracles 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-property-oracles 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-reuse 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-reuse 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-rpni 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-rpni 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-settings 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-settings 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-statistics 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-statistics 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-ttt 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-ttt 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-ttt-vpa 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-ttt-vpa 0.18.0 - jar Apache License, Version 2.0
de.learnlib learnlib-util 0.18.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-util 0.18.0 - jar Apache License, Version 2.0
info.scce addlib-api 3.1.0 - jar 3-Clause BSD License
info.scce addlib-core 3.1.0 - jar 3-Clause BSD License
info.scce addlib-util 3.1.0 - jar 3-Clause BSD License
net.automatalib automata-api 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-brics 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-commons-settings 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-commons-smartcollections 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-commons-util 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-core 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-dot-visualizer 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-incremental 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-jung-visualizer 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-modelchecking-ltsmin 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-modelchecking-m3c 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-aut 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-ba 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-dot 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-etf 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-fsm 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-learnlibv2 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-saf 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-taf 0.12.0 - jar Apache License, Version 2.0
net.automatalib automata-util 0.12.0 - jar Apache License, Version 2.0
net.automatalib.distribution automata-distribution 0.12.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.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.16 - jar MIT License

provided

The following is a list of provided dependencies for this project. These dependencies are required to compile the application, but should be provided by default when using the library:

GroupId ArtifactId Version Type Licenses
org.checkerframework checker-qual 3.48.3 jar The 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

The Apache License, Version 2.0: EJML

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

Apache 2.0: error-prone annotations

MIT License: SLF4J API Module

The MIT License: Checker Qual

Apache License, Version 2.0: AutomataLib :: API, AutomataLib :: Adapters :: BRICS, AutomataLib :: Commons :: Settings, 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 :: BA, 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 :: L*, LearnLib :: Algorithms :: Lambda, LearnLib :: Algorithms :: NL*, LearnLib :: Algorithms :: OSTIA, LearnLib :: Algorithms :: Observation Pack, LearnLib :: Algorithms :: Observation Pack [VPA], LearnLib :: Algorithms :: Procedural, LearnLib :: Algorithms :: RPNI, LearnLib :: Algorithms :: TTT, LearnLib :: Algorithms :: TTT [VPA], LearnLib :: Archetypes :: Basic, LearnLib :: Commons :: Counterexamples, LearnLib :: Commons :: Datastructures, LearnLib :: Commons :: Settings, LearnLib :: Commons :: Util, 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: FindBugs-jsr305, 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
jsr305-3.0.2.jar 19.9 kB 46 35 3 1.5 Yes
error_prone_annotations-2.36.0.jar 19.4 kB 47 - - - -
   • Root - 40 27 2 1.8 Yes
   • Versioned - 7 1 1 9 No
failureaccess-1.0.2.jar 4.7 kB 15 2 1 1.7 Yes
guava-33.4.0-jre.jar 3.1 MB 2057 2018 18 1.8 Yes
listenablefuture-9999.0-empty-to-avoid-conflict-with-guava.jar 2.2 kB 7 0 0 - -
j2objc-annotations-3.0.0.jar 12.5 kB 31 - - - -
   • Root - 29 17 1 1.8 Yes
   • Versioned - 2 1 1 9 No
learnlib-aaar-0.18.0-sources.jar 28 kB 33 0 0 - -
learnlib-aaar-0.18.0.jar 32.9 kB 36 22 5 1.8 Yes
learnlib-adt-0.18.0-sources.jar 65.6 kB 63 0 0 - -
learnlib-adt-0.18.0.jar 83.6 kB 71 48 13 1.8 Yes
learnlib-api-0.18.0-sources.jar 62.8 kB 70 0 0 - -
learnlib-api-0.18.0.jar 62.5 kB 114 98 9 1.8 Yes
learnlib-cache-0.18.0-sources.jar 60.7 kB 54 0 0 - -
learnlib-cache-0.18.0.jar 84.3 kB 74 59 6 1.8 Yes
learnlib-counterexamples-0.18.0-sources.jar 24.8 kB 29 0 0 - -
learnlib-counterexamples-0.18.0.jar 29.5 kB 40 29 3 1.8 Yes
learnlib-datastructures-0.18.0-sources.jar 75.4 kB 72 0 0 - -
learnlib-datastructures-0.18.0.jar 106.4 kB 89 68 12 1.8 Yes
learnlib-dhc-0.18.0-sources.jar 9.4 kB 16 0 0 - -
learnlib-dhc-0.18.0.jar 12.9 kB 18 6 2 1.8 Yes
learnlib-drivers-basic-0.18.0-sources.jar 14.4 kB 24 0 0 - -
learnlib-drivers-basic-0.18.0.jar 13.1 kB 24 13 3 1.8 Yes
learnlib-drivers-simulator-0.18.0-sources.jar 6.9 kB 15 0 0 - -
learnlib-drivers-simulator-0.18.0.jar 9.4 kB 18 7 2 1.8 Yes
learnlib-emptiness-oracles-0.18.0-sources.jar 8.6 kB 18 0 0 - -
learnlib-emptiness-oracles-0.18.0.jar 8.8 kB 18 7 2 1.8 Yes
learnlib-equivalence-oracles-0.18.0-sources.jar 71.1 kB 76 0 0 - -
learnlib-equivalence-oracles-0.18.0.jar 81 kB 76 60 7 1.8 Yes
learnlib-kearns-vazirani-0.18.0-sources.jar 18.2 kB 21 0 0 - -
learnlib-kearns-vazirani-0.18.0.jar 31 kB 25 12 4 1.8 Yes
learnlib-lambda-0.18.0-sources.jar 34.4 kB 44 0 0 - -
learnlib-lambda-0.18.0.jar 49.1 kB 44 26 8 1.8 Yes
learnlib-lsharp-0.18.0-sources.jar 24.7 kB 28 0 0 - -
learnlib-lsharp-0.18.0.jar 40.6 kB 31 19 3 1.8 Yes
learnlib-lstar-0.18.0-sources.jar 52.6 kB 55 0 0 - -
learnlib-lstar-0.18.0.jar 70.8 kB 64 46 9 1.8 Yes
learnlib-mapper-0.18.0-sources.jar 9.2 kB 17 0 0 - -
learnlib-mapper-0.18.0.jar 9.6 kB 17 7 2 1.8 Yes
learnlib-membership-oracles-0.18.0-sources.jar 20.5 kB 28 0 0 - -
learnlib-membership-oracles-0.18.0.jar 26.9 kB 32 21 2 1.8 Yes
learnlib-nlstar-0.18.0-sources.jar 11.2 kB 17 0 0 - -
learnlib-nlstar-0.18.0.jar 15 kB 17 6 2 1.8 Yes
learnlib-observation-pack-0.18.0-sources.jar 24.2 kB 30 0 0 - -
learnlib-observation-pack-0.18.0.jar 38.1 kB 37 22 6 1.8 Yes
learnlib-observation-pack-vpa-0.18.0-sources.jar 20.6 kB 26 0 0 - -
learnlib-observation-pack-vpa-0.18.0.jar 32.1 kB 29 16 3 1.8 Yes
learnlib-ostia-0.18.0.jar 18.9 kB 21 10 2 1.8 Yes
learnlib-parallelism-0.18.0-sources.jar 30 kB 33 0 0 - -
learnlib-parallelism-0.18.0.jar 32.7 kB 36 25 2 1.8 Yes
learnlib-procedural-0.18.0-sources.jar 56.8 kB 53 0 0 - -
learnlib-procedural-0.18.0.jar 87.3 kB 60 40 10 1.8 Yes
learnlib-property-oracles-0.18.0-sources.jar 13.3 kB 21 0 0 - -
learnlib-property-oracles-0.18.0.jar 16 kB 23 12 2 1.8 Yes
learnlib-reuse-0.18.0-sources.jar 23.7 kB 25 0 0 - -
learnlib-reuse-0.18.0.jar 27.5 kB 30 18 3 1.8 Yes
learnlib-rpni-0.18.0-sources.jar 16.7 kB 20 0 0 - -
learnlib-rpni-0.18.0.jar 19.2 kB 20 9 2 1.8 Yes
learnlib-settings-0.18.0-sources.jar 11.7 kB 21 0 0 - -
learnlib-settings-0.18.0.jar 11 kB 24 10 3 1.8 Yes
learnlib-statistics-0.18.0-sources.jar 21.4 kB 35 0 0 - -
learnlib-statistics-0.18.0.jar 24.4 kB 36 22 5 1.8 Yes
learnlib-ttt-0.18.0-sources.jar 44.3 kB 41 0 0 - -
learnlib-ttt-0.18.0.jar 74.3 kB 54 39 5 1.8 Yes
learnlib-ttt-vpa-0.18.0-sources.jar 16.6 kB 21 0 0 - -
learnlib-ttt-vpa-0.18.0.jar 26.2 kB 25 13 2 1.8 Yes
learnlib-util-0.18.0-sources.jar 19.5 kB 28 0 0 - -
learnlib-util-0.18.0.jar 27.5 kB 34 20 6 1.8 Yes
pom.xml 23.2 kB - - - - -
addlib-api-3.1.0.jar 20.8 kB 33 18 5 1.8 Yes
addlib-core-3.1.0.jar 274.9 kB 208 179 19 1.8 Yes
addlib-util-3.1.0.jar 4.8 kB 13 2 1 1.8 Yes
automata-api-0.12.0.jar 230 kB 288 249 31 1.8 Yes
automata-brics-0.12.0.jar 10 kB 16 6 1 1.8 Yes
automata-commons-settings-0.12.0.jar 8.2 kB 21 8 2 1.8 Yes
automata-commons-smartcollections-0.12.0.jar 45.6 kB 51 40 2 1.8 Yes
automata-commons-util-0.12.0.jar 116.2 kB 132 103 19 1.8 Yes
automata-core-0.12.0.jar 170.5 kB 171 133 16 1.8 Yes
automata-dot-visualizer-0.12.0.jar 25.1 kB 28 15 2 1.8 Yes
automata-incremental-0.12.0.jar 120.5 kB 93 74 11 1.8 Yes
automata-jung-visualizer-0.12.0.jar 11.9 kB 16 3 1 1.8 Yes
automata-modelchecking-ltsmin-0.12.0.jar 69 kB 50 37 4 1.8 Yes
automata-modelchecking-m3c-0.12.0.jar 125.1 kB 88 69 9 1.8 Yes
automata-serialization-aut-0.12.0.jar 12.3 kB 16 5 2 1.8 Yes
automata-serialization-ba-0.12.0.jar 10.1 kB 15 4 2 1.8 Yes
automata-serialization-dot-0.12.0.jar 52.4 kB 32 21 2 1.8 Yes
automata-serialization-etf-0.12.0.jar 13.5 kB 17 5 2 1.8 Yes
automata-serialization-fsm-0.12.0.jar 23.5 kB 21 9 2 1.8 Yes
automata-serialization-learnlibv2-0.12.0.jar 6.6 kB 13 2 2 1.8 Yes
automata-serialization-saf-0.12.0.jar 21.5 kB 25 14 2 1.8 Yes
automata-serialization-taf-0.12.0.jar 48.5 kB 36 23 3 1.8 Yes
automata-util-0.12.0.jar 431.7 kB 285 243 33 1.8 Yes
automata-distribution-0.12.0.pom 19.5 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.48.3.jar 238.6 kB 454 381 33 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.16.jar 69.4 kB 71 - - - -
   • Root - 69 55 4 1.8 Yes
   • Versioned - 2 1 1 9 No
Total Size Entries Classes Packages Java Version Debug Information
103 9.2 MB 7926 5685 474 1.8 70
provided: 1 provided: 238.6 kB provided: 454 provided: 381 provided: 33 1.8 provided: 1
test: 102 test: 9 MB test: 7472 test: 5304 test: 441 1.8 test: 69