SAT4J - Project Dependencies

Project Dependencies

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

org.sat4j:org.sat4j.pom:pom:2.0.5 Information

SAT4J
Description: The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. Since we use the library for our own research, it is also possible for SAT researchers to use it as a basis for their work. URL: http://www.sat4j.org Project License: Eclipse Public License 1.0 GNU Lesser GPL 2.1

junit:junit:jar:4.4 (test) Information

JUnit
Description: JUnit is a regression testing framework written by Erich Gamma and Kent Beck. It is used by the developer who implements unit tests in Java. URL: http://junit.org Project License: Common Public License Version 1.0

Licenses

GNU Lesser GPL 2.1: SAT4J

Eclipse Public License 1.0: SAT4J

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
Total	Size	Entries	Classes	Packages	JDK Rev	Debug
1	157.69 kB	188	154	20	1.5	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
Total	central
1 (test: 1)	1

Modules

Project Documentation