The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:
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.0-GNU Lesser General Public License |
net.automatalib | automata-dot-visualizer | 0.7.1 | jar | Apache License, Version 2.0 |
The following is a list of transitive dependencies for this project. Transitive dependencies are the dependencies of the project dependencies.
The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:
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.0-GNU Lesser General Public License |
Apache 2.0: error-prone annotations
MIT License: SLF4J API Module
Apache License, Version 2.0: AutomataLib :: API, AutomataLib :: Commons :: Smart Collections, AutomataLib :: Commons :: Utilities, AutomataLib :: Core, AutomataLib :: Incremental, AutomataLib :: Serialization :: Core, AutomataLib :: Serialization :: DOT, AutomataLib :: Utilities, AutomataLib :: Visualization :: DOT Visualizer, LearnLib :: API, LearnLib :: Algorithms :: L*, LearnLib :: Commons :: Abstract Counterexamples, LearnLib :: Commons :: Counterexamples, LearnLib :: Commons :: Settings, LearnLib :: Commons :: Util, LearnLib :: Datastructures :: Observationtable, LearnLib :: Drivers :: Basic, LearnLib :: Drivers :: Mapper, LearnLib :: Examples, LearnLib :: Filters :: Cache, LearnLib :: Filters :: Reuse, LearnLib :: Filters :: Statistics, LearnLib :: Oracles :: Equivalence Oracles, LearnLib :: Oracles :: Membership Oracles
MIT license: Animal Sniffer Annotations
GNU Lesser General Public License: Logback Classic Module, Logback Core Module
The Apache Software License, Version 2.0: FindBugs-jsr305, Guava: Google Core Libraries for Java, J2ObjC Annotations
Eclipse Public License - v 1.0: Logback Classic Module, Logback Core Module
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 |
jsr305-3.0.2.jar | 19.9 kB | 46 | 35 | 3 | 1.5 | Yes |
error_prone_annotations-2.0.18.jar | 12.1 kB | 31 | 19 | 2 | 1.7 | No |
guava-22.0.jar | 2.6 MB | 1895 | 1865 | 18 | 1.8 | Yes |
j2objc-annotations-1.1.jar | 8.8 kB | 23 | 12 | 1 | 1.5 | Yes |
learnlib-acex-0.13.1.jar | 14.7 kB | 26 | 14 | 3 | 1.8 | Yes |
learnlib-api-0.13.1.jar | 33.3 kB | 62 | 44 | 9 | 1.8 | Yes |
learnlib-cache-0.13.1.jar | 30.2 kB | 35 | 21 | 4 | 1.8 | Yes |
learnlib-counterexamples-0.13.1.jar | 15.2 kB | 22 | 11 | 2 | 1.8 | Yes |
learnlib-datastructure-ot-0.13.1.jar | 38.8 kB | 35 | 22 | 3 | 1.8 | Yes |
learnlib-drivers-basic-0.13.1.jar | 12.4 kB | 21 | 9 | 2 | 1.8 | Yes |
learnlib-equivalence-oracles-0.13.1.jar | 52.2 kB | 49 | 36 | 3 | 1.8 | Yes |
learnlib-lstar-0.13.1.jar | 56.9 kB | 55 | 38 | 7 | 1.8 | Yes |
learnlib-mapper-0.13.1.jar | 14.9 kB | 25 | 14 | 2 | 1.8 | Yes |
learnlib-membership-oracles-0.13.1.jar | 9.9 kB | 18 | 7 | 1 | 1.8 | Yes |
learnlib-reuse-0.13.1.jar | 26.7 kB | 30 | 18 | 2 | 1.8 | Yes |
learnlib-settings-0.13.1.jar | 7.6 kB | 20 | 6 | 2 | 1.8 | Yes |
learnlib-statistics-0.13.1.jar | 15.5 kB | 25 | 12 | 3 | 1.8 | Yes |
learnlib-util-0.13.1.jar | 19.4 kB | 24 | 11 | 4 | 1.8 | Yes |
automata-api-0.7.1.jar | 144.2 kB | 186 | 152 | 24 | 1.8 | Yes |
automata-commons-smartcollections-0.7.1.jar | 37.6 kB | 42 | 31 | 1 | 1.8 | Yes |
automata-commons-util-0.7.1.jar | 116.4 kB | 118 | 94 | 13 | 1.8 | Yes |
automata-core-0.7.1.jar | 124.7 kB | 117 | 81 | 17 | 1.8 | Yes |
automata-dot-visualizer-0.7.1.jar | 29.5 kB | 32 | 19 | 1 | 1.8 | Yes |
automata-incremental-0.7.1.jar | 85.3 kB | 73 | 57 | 7 | 1.8 | Yes |
automata-serialization-core-0.7.1.jar | 10.9 kB | 23 | 12 | 2 | 1.8 | Yes |
automata-serialization-dot-0.7.1.jar | 11.8 kB | 16 | 5 | 1 | 1.8 | Yes |
automata-util-0.7.1.jar | 327.3 kB | 245 | 205 | 29 | 1.8 | Yes |
animal-sniffer-annotations-1.14.jar | 3.5 kB | 12 | 1 | 1 | 1.5 | No |
slf4j-api-1.7.25.jar | 41.2 kB | 46 | 34 | 4 | 1.5 | Yes |
Total | Size | Entries | Classes | Packages | Java Version | Debug Information |
31 | 4.7 MB | 4005 | 3433 | 234 | 1.8 | 29 |
compile: 28 | compile: 3.9 MB | compile: 3320 | compile: 2866 | compile: 170 | - | compile: 26 |
runtime: 3 | runtime: 791.8 kB | runtime: 685 | runtime: 567 | runtime: 64 | - | runtime: 3 |
Repo ID | URL | Release | Snapshot | Blacklisted |
---|---|---|---|---|
central | https://repo.maven.apache.org/maven2 | Yes | No | No |
codehaus-snapshots | http://nexus.codehaus.org/snapshots/ | No | Yes | Yes |
sonatype-nexus-snapshots | https://oss.sonatype.org/content/repositories/snapshots | No | Yes | No |
Repository locations for each of the Dependencies.