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-smartcollections 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
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
org.checkerframework checker-qual 2.5.2 jar The MIT License
org.codehaus.mojo animal-sniffer-annotations 1.17 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
com.beust jcommander 1.72 jar Apache 2.0
org.apache-extras.beanshell bsh 2.0b6 jar Apache License, Version 2.0

Project Dependency Graph

Dependency Tree

Licenses

Apache 2.0: error-prone annotations, jcommander, testng

The MIT License: Checker Qual

Apache License, Version 2.0: AutomataLib :: Commons :: Smart Collections, BeanShell, LearnLib :: Commons :: Abstract Counterexamples

MIT license: Animal Sniffer Annotations

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

Dependency File Details

Filename Size Entries Classes Packages Java Version Debug Information
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
automata-commons-smartcollections-0.8.0.jar 41.9 kB 45 34 1 1.8 Yes
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
testng-6.14.3.jar 839.9 kB 658 574 24 1.7 Yes
Total Size Entries Classes Packages Java Version Debug Information
12 4.3 MB 3500 3168 97 1.8 9
compile: 9 compile: 3 MB compile: 2528 compile: 2365 compile: 59 - compile: 6
test: 3 test: 1.3 MB test: 972 test: 803 test: 38 - test: 3