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 Classifier Type
org.sat4j org.sat4j.core 2.0.5 - jar
org.sat4j org.sat4j.core 2.0.5 tests test-jar

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
junit junit 4.4 jar

Project Transitive Dependencies

No transitive dependencies are required for this project.

Project Dependency Graph

Dependency Tree

Licenses

GNU Lesser GPL 2.1: SAT4J core, SAT4J pseudo

Eclipse Public License 1.0: SAT4J core, SAT4J pseudo

Common Public License Version 1.0: JUnit

Dependency File Details

Filename Size Entries Classes Packages JDK Rev Debug
junit-4.4.jar 157.69 kB 188 154 20 1.5 debug
org.sat4j.core-2.0.5-tests.jar 28.33 kB 31 17 6 1.5 debug
org.sat4j.core-2.0.5-tests.jar 28.33 kB - - - - -
Total Size Entries Classes Packages JDK Rev Debug
3 214.36 kB 219 171 26 1.5 2
compile: 2 compile: 56.66 kB compile: 31 compile: 17 compile: 6 - compile: 1
test: 1 test: 157.69 kB test: 188 test: 154 test: 20 - test: 1

Dependency Repository Locations

Repo ID URL Release Snapshot
central http://repo1.maven.org/maven2 Yes -

Repository locations for each of the Dependencies.

Artifact central
junit:junit:jar:4.4 Found at http://repo1.maven.org/maven2
org.sat4j:org.sat4j.core:jar:2.0.5 -
org.sat4j:org.sat4j.core:test-jar:tests:2.0.5 -
Total central
3 (compile: 2, test: 1) 1