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 |
---|---|---|---|
org.sat4j | org.sat4j.core | 2.1.0 | 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 multicore
Eclipse Public License 1.0: SAT4J core, SAT4J multicore
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.1.0.jar | 207.52 kB | 179 | 154 | 16 | 1.4 | debug |
Total | Size | Entries | Classes | Packages | JDK Rev | Debug |
2 | 365.21 kB | 367 | 308 | 36 | 1.5 | 2 |
compile: 1 | compile: 207.52 kB | compile: 179 | compile: 154 | compile: 16 | - | 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.1.0 | - |
Total | central |
2 (compile: 1, test: 1) | 1 |