A Wiki-Style documentation is also available from SAT4J @ Objectweb. Please report problems and feature request using ObjectWeb Trackers If you need help, you can contact us preferably on our forums or by sending an email to help at sat4j dot org.

If you are looking for the detailed features available in the library, the description of the solvers submitted to the various competitions and evaluations is a good start:

SAT04 (desc, results), SAT05 (desc, results), SAT Race 06 (desc, results), SAT07 (results), SAT Race 08 (desc, results)
PB05 (desc, results), PB06 (desc, results), PB07 (results)
MAXSAT 06 (results), MAXSAT 07 (results), MAXSAT 08 (results)
CSP 05 (desc, results), CSP 06 (desc,results)

A poster showing the various dependencies of the SAT4J project can also be of some help.

Top

Release 2.1

Browse the Maven generated site.

Top

Release 2.0

Browse the Maven generated site.

Top

Release 1.7

Browse the API documentation.

For those interesting in software engineering, some reports are also available:

A web site generated by Maven 2 is also available.

Top

Release 1.6_01

This is the current stable release.

java -jar sat4j-1.6.jar cnffile

solves cnffile using the default solver.

java -jar sat4j-1.6.jar -s MiniLearning cnffile

solves cnffile using MiniLearning SAT solver.

java -jar sat4j-1.6.jar

for usage.

Browse the javadoc
Browse the various reports about the release:

Top

Release 1.5.0_01

```
java -jar sat4j-1.5.jar cnffile
```
solves cnffile using the default solver.
```
java -jar sat4j-1.5.jar MiniLearning cnffile
```
solves cnffile using MiniLearning SAT solver.
```
java -jar sat4j-1.5.jar
```
provides the list of available solvers.
Browse the javadoc
Browse the various reports about the release: