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)

Download the missing libraries and put them in the lib directory:

• Apache commons CLI
• Apache commons UseBean
• Mozilla Rhino

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.