SAT4J csp - Project Dependencies

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	Type
org.sat4j	org.sat4j.core	2.0.5	jar
org.sat4j	org.sat4j.csp.xmlparser	2.0.5	jar
rhino	js	1.7R1	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

org.sat4j:org.sat4j.csp:jar:2.0.5 Information

SAT4J csp
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/org.sat4j.csp Project License: Eclipse Public License 1.0 GNU Lesser GPL 2.1

org.sat4j:org.sat4j.core:jar:2.0.5 (compile) Information

SAT4J core
Description: The core library contains a flexible implementation in Java of the initial Minisat specification. The library is regularly updated with latest SAT technologies. It is a mature software that target Java developer willing to use SAT capability in their software. URL: http://www.sat4j.org/org.sat4j.core Project License: Eclipse Public License 1.0 GNU Lesser GPL 2.1

org.sat4j:org.sat4j.csp.xmlparser:jar:2.0.5 (compile) Information

rhino:js:jar:1.7R1 (compile)
Rhino

Description: Rhino: JavaScript for Java

URL: http://www.mozilla.org/rhino/

Project License: Mozilla Public License version 1.1

SAT4J csp xml parser
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/org.sat4j.csp.xmlparser Project License: Eclipse Public License 1.0 GNU Lesser GPL 2.1

Rhino
Description: Rhino: JavaScript for Java URL: http://www.mozilla.org/rhino/ Project License: Mozilla Public License version 1.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 core, SAT4J csp, SAT4J csp xml parser

Eclipse Public License 1.0: SAT4J core, SAT4J csp, SAT4J csp xml parser

Common Public License Version 1.0: JUnit

Mozilla Public License version 1.1: Rhino

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.0.5.jar	199.64 kB	176	152	15	1.4	debug
org.sat4j.csp.xmlparser-2.0.5.jar	25.59 kB	38	25	2	1.4	debug
js-1.7R1.jar	739.14 kB	286	259	17	1.5	debug
Total	Size	Entries	Classes	Packages	JDK Rev	Debug
4	1.10 MB	688	590	54	1.5	4
compile: 3	compile: 964.37 kB	compile: 500	compile: 436	compile: 34	-	compile: 3
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
org.sat4j:org.sat4j.core:jar:2.0.5	-
org.sat4j:org.sat4j.csp.xmlparser:jar:2.0.5	-
rhino:js:jar:1.7R1
Total	central
4 (compile: 3, test: 1)	2

Parent Project

Project Documentation