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 | Optional |
|---|---|---|---|---|---|
| commons-beanutils | commons-beanutils | 1.6 | - | jar | |
| commons-cli | commons-cli | 1.0 | - | jar | |
| org.sat4j | cspxmlparser | 2.0 | - | jar | |
| rhino | js | 1.6R7 | - | 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 | Classifier | Type | Optional |
|---|---|---|---|---|---|
| jmock | jmock | 1.2.0 | - | jar |
The following is a list of transitive dependencies for this project. Transitive dependencies are the dependencies of the project dependencies.
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 | Optional |
|---|---|---|---|---|---|
| commons-collections | commons-collections | 2.0 | - | jar | |
| commons-lang | commons-lang | 1.0 | - | jar | |
| commons-logging | commons-logging | 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 | Classifier | Type | Optional |
|---|---|---|---|---|---|
| junit | junit | 3.8.1 | - | jar |
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.
Commons CLI provides a simple API for working with the command line arguments and options.
Unnamed - commons-logging:commons-logging:jar:1.0
Commons.Lang, a package of Java utility classes for the classes that are in java.lang's hierarchy, or are considered to be so standard as to justify existence in java.lang.
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.
Java Bean Utililities
http://jakarta.apache.org/commons/beanutils/
Unnamed - commons-collections:commons-collections:jar:2.0
Rhino: JavaScript for Java
jMock is a library for testing Java code using mock objects
