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 |
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 |
No transitive dependencies are required for this project.
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
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 |
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 | |
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 |