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.16.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.3.4 - jar Apache 2.0
com.google.guava failureaccess 1.0.1 - jar The Apache Software License, Version 2.0
com.google.guava guava 29.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 1.3 - jar The Apache Software License, Version 2.0
de.learnlib learnlib-acex 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-acex 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-adt 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-adt 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-api 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-api 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-cache 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-cache 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-counterexamples 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-counterexamples 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-dt 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-dt 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-list 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-list 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-ot 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-ot 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-pta 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-pta 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-dhc 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-dhc 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-discrimination-tree 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-discrimination-tree 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-discrimination-tree-vpda 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-discrimination-tree-vpda 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-drivers-basic 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-drivers-basic 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-drivers-simulator 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-drivers-simulator 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-emptiness-oracles 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-emptiness-oracles 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-equivalence-oracles 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-equivalence-oracles 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-kearns-vazirani 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-kearns-vazirani 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-lstar 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-lstar 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-mapper 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-mapper 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-membership-oracles 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-membership-oracles 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-nlstar 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-nlstar 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-parallelism 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-parallelism 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-property-oracles 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-property-oracles 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-reuse 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-reuse 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-rpni 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-rpni 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-rpni-edsm 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-rpni-edsm 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-rpni-mdl 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-rpni-mdl 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-settings 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-settings 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-statistics 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-statistics 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-ttt 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-ttt 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-ttt-vpda 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-ttt-vpda 0.16.0 sources jar Apache License, Version 2.0
de.learnlib learnlib-util 0.16.0 - jar Apache License, Version 2.0
de.learnlib learnlib-util 0.16.0 sources jar Apache License, Version 2.0
net.automatalib automata-api 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-brics 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-commons-smartcollections 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-commons-util 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-core 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-dot-visualizer 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-incremental 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-jung-visualizer 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-modelchecking-ltsmin 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-aut 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-core 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-dot 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-etf 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-fsm 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-learnlibv2 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-saf 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-serialization-taf 0.10.0 - jar Apache License, Version 2.0
net.automatalib automata-util 0.10.0 - jar Apache License, Version 2.0
net.automatalib.distribution automata-distribution 0.10.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.checkerframework checker-qual 3.7.0 - jar The MIT License
org.slf4j slf4j-api 1.7.30 - jar MIT License

Project Dependency Graph

Dependency Tree

Licenses

Apache 2.0: error-prone annotations

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 :: 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, LearnLib :: API, LearnLib :: Algorithms :: ADT, LearnLib :: Algorithms :: DHC, LearnLib :: Algorithms :: Discrimination Tree, LearnLib :: Algorithms :: Discrimination Tree [VPDA], LearnLib :: Algorithms :: EDSM, LearnLib :: Algorithms :: Kearns/Vazirani, LearnLib :: Algorithms :: L*, LearnLib :: Algorithms :: MDL, LearnLib :: Algorithms :: NL*, LearnLib :: Algorithms :: RPNI, LearnLib :: Algorithms :: TTT, LearnLib :: Algorithms :: TTT [VPDA], LearnLib :: Archetypes :: Basic, LearnLib :: Commons :: Abstract Counterexamples, 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, J2ObjC Annotations

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.3.4.jar 13.9 kB 34 22 2 1.7 No
failureaccess-1.0.1.jar 4.6 kB 15 2 1 1.7 Yes
guava-29.0-jre.jar 2.8 MB 2005 1975 18 1.8 Yes
listenablefuture-9999.0-empty-to-avoid-conflict-with-guava.jar 2.2 kB 7 0 0 - No
j2objc-annotations-1.3.jar 8.8 kB 23 12 1 1.5 Yes
learnlib-acex-0.16.0.jar 14.8 kB 26 14 3 1.8 Yes
learnlib-acex-0.16.0-sources.jar 8.9 kB 18 0 0 - No
learnlib-adt-0.16.0.jar 80.4 kB 66 43 12 1.8 Yes
learnlib-adt-0.16.0-sources.jar 60.5 kB 58 0 0 - No
learnlib-api-0.16.0.jar 60.2 kB 106 87 10 1.8 Yes
learnlib-api-0.16.0-sources.jar 58.3 kB 67 0 0 - No
learnlib-cache-0.16.0.jar 48.9 kB 48 34 4 1.8 Yes
learnlib-cache-0.16.0-sources.jar 30.7 kB 32 0 0 - No
learnlib-counterexamples-0.16.0.jar 15.6 kB 22 11 2 1.8 Yes
learnlib-counterexamples-0.16.0-sources.jar 15.4 kB 19 0 0 - No
learnlib-datastructure-dt-0.16.0.jar 28.4 kB 31 18 3 1.8 Yes
learnlib-datastructure-dt-0.16.0-sources.jar 21.1 kB 27 0 0 - No
learnlib-datastructure-list-0.16.0.jar 5.7 kB 15 4 1 1.8 Yes
learnlib-datastructure-list-0.16.0-sources.jar 5.4 kB 14 0 0 - No
learnlib-datastructure-ot-0.16.0.jar 37.7 kB 33 20 3 1.8 Yes
learnlib-datastructure-ot-0.16.0-sources.jar 31.3 kB 31 0 0 - No
learnlib-datastructure-pta-0.16.0.jar 36.4 kB 33 20 2 1.8 Yes
learnlib-datastructure-pta-0.16.0-sources.jar 20.1 kB 24 0 0 - No
learnlib-dhc-0.16.0.jar 12.9 kB 17 5 1 1.8 Yes
learnlib-dhc-0.16.0-sources.jar 8.4 kB 15 0 0 - No
learnlib-discrimination-tree-0.16.0.jar 32.9 kB 31 17 4 1.8 Yes
learnlib-discrimination-tree-0.16.0-sources.jar 19.4 kB 25 0 0 - No
learnlib-discrimination-tree-vpda-0.16.0.jar 32.3 kB 29 15 2 1.8 Yes
learnlib-discrimination-tree-vpda-0.16.0-sources.jar 20.5 kB 27 0 0 - No
learnlib-drivers-basic-0.16.0.jar 12.9 kB 21 9 2 1.8 Yes
learnlib-drivers-basic-0.16.0-sources.jar 12 kB 21 0 0 - No
learnlib-drivers-simulator-0.16.0.jar 8.8 kB 17 6 1 1.8 Yes
learnlib-drivers-simulator-0.16.0-sources.jar 6.1 kB 14 0 0 - No
learnlib-emptiness-oracles-0.16.0.jar 7.7 kB 17 6 1 1.8 Yes
learnlib-emptiness-oracles-0.16.0-sources.jar 7.4 kB 17 0 0 - No
learnlib-equivalence-oracles-0.16.0.jar 60.3 kB 59 46 3 1.8 Yes
learnlib-equivalence-oracles-0.16.0-sources.jar 53.8 kB 59 0 0 - No
learnlib-kearns-vazirani-0.16.0.jar 29.5 kB 24 11 3 1.8 Yes
learnlib-kearns-vazirani-0.16.0-sources.jar 16.5 kB 20 0 0 - No
learnlib-lstar-0.16.0.jar 57.2 kB 55 38 7 1.8 Yes
learnlib-lstar-0.16.0-sources.jar 38.7 kB 45 0 0 - No
learnlib-mapper-0.16.0.jar 14.9 kB 25 14 2 1.8 Yes
learnlib-mapper-0.16.0-sources.jar 15.1 kB 23 0 0 - No
learnlib-membership-oracles-0.16.0.jar 22.4 kB 26 15 1 1.8 Yes
learnlib-membership-oracles-0.16.0-sources.jar 15.6 kB 20 0 0 - No
learnlib-nlstar-0.16.0.jar 15.4 kB 17 6 1 1.8 Yes
learnlib-nlstar-0.16.0-sources.jar 10.3 kB 16 0 0 - No
learnlib-parallelism-0.16.0.jar 27.8 kB 30 19 1 1.8 Yes
learnlib-parallelism-0.16.0-sources.jar 23.5 kB 27 0 0 - No
learnlib-property-oracles-0.16.0.jar 12.8 kB 19 8 1 1.8 Yes
learnlib-property-oracles-0.16.0-sources.jar 10.7 kB 19 0 0 - No
learnlib-reuse-0.16.0.jar 26.6 kB 28 16 2 1.8 Yes
learnlib-reuse-0.16.0-sources.jar 19.9 kB 21 0 0 - No
learnlib-rpni-0.16.0.jar 9.2 kB 14 3 1 1.8 Yes
learnlib-rpni-0.16.0-sources.jar 7.7 kB 14 0 0 - No
learnlib-rpni-edsm-0.16.0.jar 7 kB 13 2 1 1.8 Yes
learnlib-rpni-edsm-0.16.0-sources.jar 5.5 kB 13 0 0 - No
learnlib-rpni-mdl-0.16.0.jar 5.7 kB 13 2 1 1.8 Yes
learnlib-rpni-mdl-0.16.0-sources.jar 5 kB 13 0 0 - No
learnlib-settings-0.16.0.jar 9.2 kB 21 7 2 1.8 Yes
learnlib-settings-0.16.0-sources.jar 8.9 kB 18 0 0 - No
learnlib-statistics-0.16.0.jar 22.9 kB 35 21 4 1.8 Yes
learnlib-statistics-0.16.0-sources.jar 21.8 kB 35 0 0 - No
learnlib-ttt-0.16.0.jar 64.4 kB 47 33 3 1.8 Yes
learnlib-ttt-0.16.0-sources.jar 38.3 kB 36 0 0 - No
learnlib-ttt-vpda-0.16.0.jar 24.2 kB 23 11 1 1.8 Yes
learnlib-ttt-vpda-0.16.0-sources.jar 15.3 kB 20 0 0 - No
learnlib-util-0.16.0.jar 20.4 kB 25 12 4 1.8 Yes
learnlib-util-0.16.0-sources.jar 13.3 kB 21 0 0 - No
pom.xml 23.3 kB - - - - -
automata-api-0.10.0.jar 163.4 kB 216 181 25 1.8 Yes
automata-brics-0.10.0.jar 9.7 kB 16 6 1 1.8 Yes
automata-commons-smartcollections-0.10.0.jar 41.5 kB 44 33 1 1.8 Yes
automata-commons-util-0.10.0.jar 100.2 kB 114 86 17 1.8 Yes
automata-core-0.10.0.jar 140.1 kB 137 97 19 1.8 Yes
automata-dot-visualizer-0.10.0.jar 31 kB 34 21 1 1.8 Yes
automata-incremental-0.10.0.jar 93.5 kB 77 60 8 1.8 Yes
automata-jung-visualizer-0.10.0.jar 11.4 kB 16 3 1 1.8 Yes
automata-modelchecking-ltsmin-0.10.0.jar 67 kB 49 36 3 1.8 Yes
automata-serialization-aut-0.10.0.jar 12.4 kB 16 5 1 1.8 Yes
automata-serialization-core-0.10.0.jar 11.5 kB 22 11 2 1.8 Yes
automata-serialization-dot-0.10.0.jar 47.5 kB 29 18 1 1.8 Yes
automata-serialization-etf-0.10.0.jar 13.7 kB 16 4 1 1.8 Yes
automata-serialization-fsm-0.10.0.jar 21.9 kB 20 8 1 1.8 Yes
automata-serialization-learnlibv2-0.10.0.jar 6.5 kB 12 1 1 1.8 Yes
automata-serialization-saf-0.10.0.jar 20 kB 22 11 1 1.8 Yes
automata-serialization-taf-0.10.0.jar 47.7 kB 35 22 3 1.8 Yes
automata-util-0.10.0.jar 337.2 kB 252 210 31 1.8 Yes
automata-distribution-0.10.0.pom 18.2 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
checker-qual-3.7.0.jar 226.2 kB 402 337 35 1.8 Yes
slf4j-api-1.7.30.jar 41.5 kB 46 34 4 1.5 Yes
Total Size Entries Classes Packages Java Version Debug Information
96 6.5 MB 6031 4232 303 1.8 60
test: 96 test: 6.5 MB test: 6031 test: 4232 test: 303 - test: 60