compile

The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:

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:

Dependency Tree

• org.sat4j:org.sat4j.pb:jar:2.2.0

  SAT4J pseudo
  Description: The pb library contains algorithms for solving pseudo boolean optimization problems. URL: http://www.sat4j.org/org.sat4j.pb Project License: Eclipse Public License 1.0GNU Lesser GPL 2.1

  • org.sat4j:org.sat4j.core:jar:2.2.0 (compile)

    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.0GNU Lesser GPL 2.1

  • org.sat4j:org.sat4j.core:test-jar:tests:2.2.0 (compile)

    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.0GNU Lesser GPL 2.1

  • junit:junit:jar:4.4 (test)

    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