Project Group: org.ow2.sat4j

SAT4J core

org.ow2.sat4j : org.ow2.sat4j.core

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.

Last Version: 2.3.6

Release Date:

SAT4J maxsat

org.ow2.sat4j : org.ow2.sat4j.maxsat

Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.

Last Version: 2.3.6

Release Date:

SAT4J pseudo

org.ow2.sat4j : org.ow2.sat4j.pb

The pb library contains algorithms for solving pseudo boolean optimization problems.

Last Version: 2.3.6

Release Date:

SAT4J sat

org.ow2.sat4j : org.ow2.sat4j.sat

Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.

Last Version: 2.3.6

Release Date:

SAT4J

org.ow2.sat4j : org.ow2.sat4j.pom

Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine.

Last Version: 2.3.6

Release Date:

SAT4J csp xml parser

org.ow2.sat4j : org.ow2.sat4j.csp.xmlparser

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.

Last Version: 2.3.5

Release Date:

SAT4J csp

org.ow2.sat4j : org.ow2.sat4j.csp

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.

Last Version: 2.3.5

Release Date:

  • 1