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	License
junit	junit	4.4	jar	Common Public License Version 1.0
org.mockito	mockito-all	1.9.5	jar	The MIT License

Project Transitive Dependencies

No transitive dependencies are required for this project.

Project Dependency Graph

Dependency Tree

org.sat4j:org.sat4j.pom:pom:2.3.3 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

org.mockito:mockito-all:jar:1.9.5 (test)
Mockito
Description: Mock objects library for java
URL: http://www.mockito.org
Project License: The MIT License

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

Mockito
Description: Mock objects library for java URL: http://www.mockito.org Project License: The MIT License

Licenses

GNU Lesser GPL 2.1: SAT4J

Eclipse Public License 1.0: SAT4J

Common Public License Version 1.0: JUnit

The MIT License: Mockito

Dependency File Details

Filename	Size	Entries	Classes	Packages	JDK Rev	Debug
junit-4.4.jar	157.69 kB	188	154	20	1.5	debug
mockito-all-1.9.5.jar	1.51 MB	1,372	698	74	1.5	debug
Total	Size	Entries	Classes	Packages	JDK Rev	Debug
2	1.66 MB	1,560	852	94	1.5	2
test: 2	test: 1.66 MB	test: 1,560	test: 852	test: 94	-	test: 2

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
org.mockito:mockito-all:jar:1.9.5
Total	central
2 (test: 2)	2

Modules

Project Documentation