HOW TO DOWNLOAD SAT4J JAR FILES

• Older releases are available from OW2 download repository
• Recent releases are available from OW2 gitlab release page
• Nighlty builds are available from OW2 gitlab continuous integration

HOW TO BUILD SAT4J FROM SOURCE

Using Maven (library users)

Just launch

$ mvn -DskipTests=true install

to build the SAT4J modules from the source tree.

All the dependencies will be gathered by Maven.

Using ant (solvers users)

Just type:

$ ant [core,pseudo,maxsat,sat]

to build the solvers from source.

The solvers will be available in the directory dist/CUSTOM.

You may want to use a custom release name.

$ ant -Drelease=MINE maxsat

In that case, the solvers will be available in the directory dist/MINE.

Type

$ ant -p

to see available options.