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.1.0 - jar
org.sat4j org.sat4j.core 2.1.0 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.1.0.jar 207.52 kB 179 154 16 1.4 debug
org.sat4j.core-2.1.0-tests.jar 37.10 kB - - - - -
Total Size Entries Classes Packages JDK Rev Debug
3 402.31 kB 367 308 36 1.5 2
compile: 2 compile: 244.62 kB compile: 179 compile: 154 compile: 16 - 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.1.0 -
org.sat4j:org.sat4j.core:test-jar:tests:2.1.0 -
Total central
3 (compile: 2, test: 1) 1