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:

compile

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

Dependency Tree

• org.sat4j:org.sat4j.maxsat:jar:2.0.5

  SAT4J maxsat

  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.maxsat Project License: Eclipse Public License 1.0 GNU Lesser GPL 2.1

  • org.sat4j:org.sat4j.core:jar:2.0.5 (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.0 GNU Lesser GPL 2.1

  • org.sat4j:org.sat4j.pb:jar:2.0.5 (compile)

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

    • org.sat4j:org.sat4j.core:jar:2.0.5 (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.0 GNU Lesser GPL 2.1

    • org.sat4j:org.sat4j.core:test-jar:tests:2.0.5 (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.0 GNU Lesser GPL 2.1

  • commons-cli:commons-cli:jar:1.0 (compile)

    CLI
    Description: Commons CLI provides a simple API for working with the command line arguments and options. Project License: No project license is defined for this project.

    • commons-logging:commons-logging:jar:1.0 (compile)

      Unnamed - commons-logging:commons-logging:jar:1.0
      Description: There is currently no description associated with this project. Project License: No project license is defined for this project.

    • commons-lang:commons-lang:jar:1.0 (compile)

      Lang
      Description: 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. Project License: No project license is defined for this project.

  • 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