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
- de.learnlib:learnlib-property-oracles:jar:0.18.0
- de.learnlib:learnlib-api:jar:0.18.0 (compile)
- net.automatalib:automata-commons-util:jar:0.12.0 (compile)
- net.automatalib:automata-commons-util:jar:0.12.0 (compile)
- net.automatalib:automata-api:jar:0.12.0 (compile)
- net.automatalib:automata-commons-settings:jar:0.12.0 (compile)
- net.automatalib:automata-commons-smartcollections:jar:0.12.0 (compile)
- net.automatalib:automata-commons-settings:jar:0.12.0 (compile)
- org.checkerframework:checker-qual:jar:3.48.3 (provided)
- org.slf4j:slf4j-api:jar:2.0.16 (compile)
- de.learnlib.tooling:annotations:jar:0.1.1 (provided)
- de.learnlib:learnlib-emptiness-oracles:jar:0.18.0 (test)
- de.learnlib:learnlib-util:jar:0.18.0 (test)
- de.learnlib:learnlib-statistics:jar:0.18.0 (test)
- de.learnlib:learnlib-statistics:jar:0.18.0 (test)
- de.learnlib:learnlib-util:jar:0.18.0 (test)
- de.learnlib:learnlib-equivalence-oracles:jar:0.18.0 (test)
- de.learnlib.testsupport:learnlib-learning-examples:jar:0.18.0 (test)
- net.automatalib:automata-serialization-learnlibv2:jar:0.12.0 (test)
- net.automatalib:automata-serialization-learnlibv2:jar:0.12.0 (test)
- de.learnlib:learnlib-membership-oracles:jar:0.18.0 (test)
- net.automatalib:automata-core:jar:0.12.0 (test)
- net.automatalib:automata-modelchecking-ltsmin:jar:0.12.0 (test)
- net.automatalib:automata-serialization-etf:jar:0.12.0 (test)
- net.automatalib:automata-serialization-fsm:jar:0.12.0 (test)
- net.automatalib:automata-serialization-etf:jar:0.12.0 (test)
- net.automatalib:automata-util:jar:0.12.0 (test)
- org.testng:testng:jar:7.10.2 (test)
- com.beust:jcommander:jar:1.82 (test)
- org.webjars:jquery:jar:3.7.1 (test)
- com.beust:jcommander:jar:1.82 (test)
- de.learnlib:learnlib-api:jar:0.18.0 (compile)
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 |