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-api 0.18.0 jar Apache License, Version 2.0
net.automatalib automata-api 0.12.0 jar Apache License, Version 2.0
org.slf4j slf4j-api 2.0.16 jar MIT 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
de.learnlib learnlib-emptiness-oracles 0.18.0 jar Apache License, Version 2.0
de.learnlib learnlib-equivalence-oracles 0.18.0 jar Apache License, Version 2.0
de.learnlib learnlib-membership-oracles 0.18.0 jar Apache License, Version 2.0
de.learnlib.testsupport learnlib-learning-examples 0.18.0 jar Apache License, Version 2.0
net.automatalib automata-core 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-util 0.12.0 jar Apache License, Version 2.0
org.testng testng 7.10.2 jar Apache License, Version 2.0

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
de.learnlib.tooling annotations 0.1.1 jar Apache License, Version 2.0
org.checkerframework checker-qual 3.48.3 jar The MIT License

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
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

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.82 jar Apache License, Version 2.0
de.learnlib learnlib-statistics 0.18.0 jar Apache License, Version 2.0
de.learnlib learnlib-util 0.18.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
org.webjars jquery 3.7.1 jar MIT License

Project Dependency Graph

Dependency Tree

Licenses

The MIT License: Checker Qual

MIT License: SLF4J API Module, jquery

Apache License, Version 2.0: AutomataLib :: API, AutomataLib :: Commons :: Settings, AutomataLib :: Commons :: Smart Collections, AutomataLib :: Commons :: Utilities, AutomataLib :: Core, AutomataLib :: Model Checking :: LTSmin, AutomataLib :: Serialization :: ETF, AutomataLib :: Serialization :: FSM, AutomataLib :: Serialization :: LearnLibV2, AutomataLib :: Utilities, Build Tools :: Annotations, LearnLib :: API, LearnLib :: Commons :: Util, LearnLib :: Filters :: Statistics, LearnLib :: Oracles :: Emptiness Oracles, LearnLib :: Oracles :: Equivalence Oracles, LearnLib :: Oracles :: Membership Oracles, LearnLib :: Oracles :: Property Oracles, LearnLib :: Test Support :: Learning Examples, jcommander, testng

Dependency File Details

Filename Size Entries Classes Packages Java Version Debug Information
jcommander-1.82.jar 88.4 kB 84 73 7 1.8 Yes
learnlib-api-0.18.0.jar 62.5 kB 114 98 9 1.8 Yes
learnlib-emptiness-oracles-0.18.0.jar 8.8 kB 18 7 2 1.8 Yes
learnlib-equivalence-oracles-0.18.0.jar 81 kB 76 60 7 1.8 Yes
learnlib-membership-oracles-0.18.0.jar 26.9 kB 32 21 2 1.8 Yes
learnlib-statistics-0.18.0.jar 24.4 kB 36 22 5 1.8 Yes
learnlib-util-0.18.0.jar 27.5 kB 34 20 6 1.8 Yes
learnlib-learning-examples-0.18.0.jar 1.3 MB 83 58 10 1.8 Yes
annotations-0.1.1.jar 9.6 kB 26 12 4 1.8 Yes
automata-api-0.12.0.jar 230 kB 288 249 31 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-modelchecking-ltsmin-0.12.0.jar 69 kB 50 37 4 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-util-0.12.0.jar 431.7 kB 285 243 33 1.8 Yes
checker-qual-3.48.3.jar 238.6 kB 454 381 33 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
testng-7.10.2.jar 987.8 kB 594 547 25 11 Yes
jquery-3.7.1.jar 307.9 kB 18 0 0 - -
Total Size Entries Classes Packages Java Version Debug Information
23 4.3 MB 2689 2183 227 11 22
compile: 6 compile: 531.8 kB compile: 677 compile: 553 compile: 67 1.8 compile: 6
provided: 2 provided: 248.3 kB provided: 480 provided: 393 provided: 37 provided: 2
test: 15 test: 3.5 MB test: 1532 test: 1237 test: 123 11 test: 14