Project Dependencies

compile

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

GroupId ArtifactId Version Type Licenses
de.learnlib learnlib-acex 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-api 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-cache 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-ot 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-drivers-basic 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-drivers-simulator 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-emptiness-oracles 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-equivalence-oracles 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-lstar 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-membership-oracles 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-property-oracles 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-reuse 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-statistics 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-ttt 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-util 0.14.0 jar Apache License, Version 2.0
de.learnlib.testsupport learnlib-learning-examples 0.14.0 jar Apache License, Version 2.0
net.automatalib automata-api 0.8.0 jar Apache License, Version 2.0
net.automatalib automata-commons-util 0.8.0 jar Apache License, Version 2.0
net.automatalib automata-core 0.8.0 jar Apache License, Version 2.0
net.automatalib automata-modelchecking-ltsmin 0.8.0 jar Apache License, Version 2.0
net.automatalib automata-serialization-dot 0.8.0 jar Apache License, Version 2.0
net.automatalib automata-util 0.8.0 jar Apache License, Version 2.0

runtime

The following is a list of runtime dependencies for this project. These dependencies are required to run the application:

GroupId ArtifactId Version Type Licenses
ch.qos.logback logback-classic 1.2.3 jar Eclipse Public License - v 1.0GNU Lesser General Public License
net.automatalib automata-dot-visualizer 0.8.0 jar Apache License, Version 2.0

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.java.openjdk.cacio cacio-tta 1.9 jar GPL2 with classpath exception
org.jmockit jmockit 1.43 jar The MIT License
org.testng testng 6.14.3 jar Apache 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.

compile

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

GroupId ArtifactId Version Type Licenses
com.google.code.findbugs jsr305 3.0.2 jar The Apache Software License, Version 2.0
com.google.errorprone error_prone_annotations 2.2.0 jar Apache 2.0
com.google.guava failureaccess 1.0 jar The Apache Software License, Version 2.0
com.google.guava guava 27.0-jre jar The Apache Software 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.1 jar The Apache Software License, Version 2.0
de.learnlib learnlib-counterexamples 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-dt 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-datastructure-list 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-mapper 0.14.0 jar Apache License, Version 2.0
de.learnlib learnlib-settings 0.14.0 jar Apache License, Version 2.0
net.automatalib automata-commons-smartcollections 0.8.0 jar Apache License, Version 2.0
net.automatalib automata-incremental 0.8.0 jar Apache License, Version 2.0
net.automatalib automata-serialization-core 0.8.0 jar Apache License, Version 2.0
net.automatalib automata-serialization-etf 0.8.0 jar Apache License, Version 2.0
net.automatalib automata-serialization-fsm 0.8.0 jar Apache License, Version 2.0
net.automatalib automata-serialization-learnlibv2 0.8.0 jar Apache License, Version 2.0
org.checkerframework checker-qual 2.5.2 jar The MIT License
org.codehaus.mojo animal-sniffer-annotations 1.17 jar MIT license
org.slf4j slf4j-api 1.7.25 jar MIT License

runtime

The following is a list of runtime dependencies for this project. These dependencies are required to run the application:

GroupId ArtifactId Version Type Licenses
ch.qos.logback logback-core 1.2.3 jar Eclipse Public License - v 1.0GNU Lesser General Public License

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
com.beust jcommander 1.72 jar Apache 2.0
com.jidesoft jide-oss 3.5.11 jar GPL with classpath exceptionFree commercial license
commons-codec commons-codec 1.3 jar The Apache Software License, Version 2.0
junit junit 4.10 jar Common Public License Version 1.0
net.java.openjdk.cacio cacio-shared 1.9 jar GPL2 with classpath exception
net.jcip jcip-annotations 1.0 jar -
org.apache-extras.beanshell bsh 2.0b6 jar Apache License, Version 2.0
org.easytesting fest-assert 1.2 jar Apache License, Version 2.0
org.easytesting fest-reflect 1.2 jar Apache License, Version 2.0
org.easytesting fest-swing 1.2.1 jar Apache License, Version 2.0
org.easytesting fest-swing-junit 1.2.1 jar Apache License, Version 2.0
org.easytesting fest-swing-junit-4.5 1.2.1 jar Apache License, Version 2.0
org.easytesting fest-util 1.1.3 jar Apache License, Version 2.0
org.hamcrest hamcrest-core 1.1 jar BSD style

Project Dependency Graph

Dependency Tree

Licenses

Apache 2.0: error-prone annotations, jcommander, testng

GPL2 with classpath exception: Cacio Shared Module, CacioTAA Java Module

MIT License: SLF4J API Module

Free commercial license: JIDE Common Layer

GNU Lesser General Public License: Logback Classic Module, Logback Core Module

BSD style: Hamcrest Core

Unknown: "Java Concurrency in Practice" book annotations

GPL with classpath exception: JIDE Common Layer

The MIT License: Checker Qual, JMockit

Apache License, Version 2.0: AutomataLib :: API, AutomataLib :: Commons :: Smart Collections, AutomataLib :: Commons :: Utilities, AutomataLib :: Core, AutomataLib :: Incremental, AutomataLib :: Model Checking :: LTSmin, AutomataLib :: Serialization :: Core, AutomataLib :: Serialization :: DOT, AutomataLib :: Serialization :: ETF, AutomataLib :: Serialization :: FSM, AutomataLib :: Serialization :: LearnLibV2, AutomataLib :: Utilities, AutomataLib :: Visualization :: DOT Visualizer, BeanShell, FEST Fluent Assertions, FEST Reflection, FEST Swing, FEST Swing - JUnit 4.5 Extension, FEST Swing - JUnit Extension, FEST Util, LearnLib :: API, LearnLib :: Algorithms :: L*, LearnLib :: Algorithms :: TTT, LearnLib :: Commons :: Abstract Counterexamples, LearnLib :: Commons :: Counterexamples, LearnLib :: Commons :: Settings, LearnLib :: Commons :: Util, LearnLib :: Datastructures :: Discrimination Tree, LearnLib :: Datastructures :: List, LearnLib :: Datastructures :: Observationtable, LearnLib :: Drivers :: Basic, LearnLib :: Drivers :: Mapper, LearnLib :: Drivers :: Simulator, LearnLib :: Examples, LearnLib :: Filters :: Cache, LearnLib :: Filters :: Reuse, LearnLib :: Filters :: Statistics, LearnLib :: Oracles :: Emptiness Oracles, LearnLib :: Oracles :: Equivalence Oracles, LearnLib :: Oracles :: Membership Oracles, LearnLib :: Oracles :: Property Oracles, LearnLib :: Test Support :: Learning Examples

MIT license: Animal Sniffer Annotations

The Apache Software License, Version 2.0: Codec, FindBugs-jsr305, Guava InternalFutureFailureAccess and InternalFutures, Guava ListenableFuture only, Guava: Google Core Libraries for Java, J2ObjC Annotations

Common Public License Version 1.0: JUnit

Eclipse Public License - v 1.0: Logback Classic Module, Logback Core Module

Dependency File Details

Filename Size Entries Classes Packages Java Version Debug Information
logback-classic-1.2.3.jar 290.3 kB 234 175 27 1.6 Yes
logback-core-1.2.3.jar 471.9 kB 419 373 36 1.6 Yes
jcommander-1.72.jar 69.3 kB 67 65 5 1.7 Yes
jsr305-3.0.2.jar 19.9 kB 46 35 3 1.5 Yes
error_prone_annotations-2.2.0.jar 13.7 kB 34 22 2 1.7 No
failureaccess-1.0.jar 3.7 kB 15 2 1 1.7 Yes
guava-27.0-jre.jar 2.7 MB 1988 1957 19 1.8 Yes
listenablefuture-9999.0-empty-to-avoid-conflict-with-guava.jar 2.2 kB 7 0 0 - No
j2objc-annotations-1.1.jar 8.8 kB 23 12 1 1.5 Yes
jide-oss-3.5.11.jar 1.9 MB 1219 1067 27 1.5 Yes
commons-codec-1.3.jar 46.7 kB 42 25 5 1.2 Yes
learnlib-acex-0.14.0.jar 14.7 kB 26 14 3 1.8 Yes
learnlib-api-0.14.0.jar 59.4 kB 101 83 9 1.8 Yes
learnlib-cache-0.14.0.jar 45.2 kB 45 31 4 1.8 Yes
learnlib-counterexamples-0.14.0.jar 15.2 kB 22 11 2 1.8 Yes
learnlib-datastructure-dt-0.14.0.jar 28.6 kB 31 18 3 1.8 Yes
learnlib-datastructure-list-0.14.0.jar 5.3 kB 15 4 1 1.8 Yes
learnlib-datastructure-ot-0.14.0.jar 46.1 kB 37 24 3 1.8 Yes
learnlib-drivers-basic-0.14.0.jar 12.2 kB 21 9 2 1.8 Yes
learnlib-drivers-simulator-0.14.0.jar 6.9 kB 15 4 1 1.8 Yes
learnlib-emptiness-oracles-0.14.0.jar 7.6 kB 17 6 1 1.8 Yes
learnlib-equivalence-oracles-0.14.0.jar 63 kB 59 46 3 1.8 Yes
learnlib-lstar-0.14.0.jar 63 kB 57 40 7 1.8 Yes
learnlib-mapper-0.14.0.jar 15 kB 25 14 2 1.8 Yes
learnlib-membership-oracles-0.14.0.jar 23.7 kB 26 15 1 1.8 Yes
learnlib-property-oracles-0.14.0.jar 13 kB 19 8 1 1.8 Yes
learnlib-reuse-0.14.0.jar 26.7 kB 30 18 2 1.8 Yes
learnlib-settings-0.14.0.jar 9.1 kB 21 7 2 1.8 Yes
learnlib-statistics-0.14.0.jar 24.1 kB 34 20 4 1.8 Yes
learnlib-ttt-0.14.0.jar 65.1 kB 48 34 3 1.8 Yes
learnlib-util-0.14.0.jar 21.7 kB 25 12 4 1.8 Yes
learnlib-learning-examples-0.14.0.jar 1.2 MB 46 28 3 1.8 Yes
junit-4.10.jar 253.2 kB 290 252 31 1.5 Yes
automata-api-0.8.0.jar 163.7 kB 215 180 25 1.8 Yes
automata-commons-smartcollections-0.8.0.jar 41.9 kB 45 34 1 1.8 Yes
automata-commons-util-0.8.0.jar 97.5 kB 113 85 17 1.8 Yes
automata-core-0.8.0.jar 139.8 kB 139 99 20 1.8 Yes
automata-dot-visualizer-0.8.0.jar 30.2 kB 33 20 1 1.8 Yes
automata-incremental-0.8.0.jar 95.1 kB 78 61 8 1.8 Yes
automata-modelchecking-ltsmin-0.8.0.jar 43.6 kB 41 28 3 1.8 Yes
automata-serialization-core-0.8.0.jar 10.9 kB 23 12 2 1.8 Yes
automata-serialization-dot-0.8.0.jar 11.2 kB 16 5 1 1.8 Yes
automata-serialization-etf-0.8.0.jar 13.5 kB 16 4 1 1.8 Yes
automata-serialization-fsm-0.8.0.jar 21.4 kB 20 8 1 1.8 Yes
automata-serialization-learnlibv2-0.8.0.jar 6.2 kB 12 1 1 1.8 Yes
automata-util-0.8.0.jar 336.3 kB 250 210 29 1.8 Yes
cacio-shared-1.9.jar 100 kB 82 66 3 1.7 Yes
cacio-tta-1.9.jar 23.7 kB 33 19 3 1.7 Yes
jcip-annotations-1.0.jar 2.3 kB 9 4 1 1.5 No
bsh-2.0b6.jar 389 kB 247 164 9 1.5 Yes
checker-qual-2.5.2.jar 193.3 kB 358 302 31 1.8 Yes
animal-sniffer-annotations-1.17.jar 3.4 kB 12 1 1 1.7 No
fest-assert-1.2.jar 89.3 kB 67 57 1 1.5 Yes
fest-reflect-1.2.jar 37.2 kB 53 33 10 1.5 Yes
fest-swing-1.2.1.jar 728.7 kB 742 706 26 1.5 Yes
fest-swing-junit-1.2.1.jar 48.9 kB 48 30 4 1.5 Yes
fest-swing-junit-4.5-1.2.1.jar 4.8 kB 15 2 1 1.5 Yes
fest-util-1.1.3.jar 19.7 kB 28 18 1 1.5 Yes
hamcrest-core-1.1.jar 76.6 kB 54 21 3 1.5 Yes
jmockit-1.43.jar 762.2 kB 465 398 50 1.7 Yes
slf4j-api-1.7.25.jar 41.2 kB 46 34 4 1.5 Yes
testng-6.14.3.jar 839.9 kB 658 574 24 1.7 Yes
Total Size Entries Classes Packages Java Version Debug Information
62 12 MB 9022 7607 500 1.8 58
compile: 42 compile: 5.8 MB compile: 4217 compile: 3538 compile: 232 - compile: 39
test: 17 test: 5.4 MB test: 4119 test: 3501 test: 204 - test: 16
runtime: 3 runtime: 792.4 kB runtime: 686 runtime: 568 runtime: 64 - runtime: 3