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 |
---|---|---|---|---|
dk.brics.automaton | automaton | 1.11-8 | jar | BSD |
net.automatalib | automata-api | 0.8.0 | jar | Apache License, Version 2.0 |
net.automatalib | automata-brics | 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-dot-visualizer | 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-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 |
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 |
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.testng | testng | 6.14.3 | jar | Apache 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.0GNU Lesser General Public License |
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 |
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
BSD: Automaton
Unknown: "Java Concurrency in Practice" book annotations
GPL with classpath exception: JIDE Common Layer
The MIT License: Checker Qual
Apache License, Version 2.0: AutomataLib :: API, AutomataLib :: Adapters :: BRICS, AutomataLib :: Commons :: Smart Collections, AutomataLib :: Commons :: Utilities, AutomataLib :: Core, AutomataLib :: Examples, AutomataLib :: Incremental, AutomataLib :: Model Checking :: LTSmin, AutomataLib :: Serialization :: Core, AutomataLib :: Serialization :: DOT, AutomataLib :: Serialization :: ETF, AutomataLib :: Serialization :: FSM, 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
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
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 |
automaton-1.11-8.jar | 176.3 kB | 206 | 25 | 1 | 1.5 | No |
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-brics-0.8.0.jar | 9.8 kB | 16 | 6 | 1 | 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-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 |
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 |
41 | 9.6 MB | 8047 | 6793 | 390 | 1.8 | 36 |
compile: 23 | compile: 4.2 MB | compile: 3740 | compile: 3142 | compile: 173 | - | compile: 19 |
test: 16 | test: 4.6 MB | test: 3654 | test: 3103 | test: 154 | - | test: 15 |
runtime: 2 | runtime: 762.2 kB | runtime: 653 | runtime: 548 | runtime: 63 | - | runtime: 2 |