HOW TO BUILD SAT4J FROM SOURCE
Using Maven (library users)
$ 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
$ ant [core,pseudo,maxsat,sat]
to build the solvers from source.
The solvers will be available in the directory
You may want to use a custom release name.
$ ant -Drelease=MINE maxsat
In that case, the solvers will be available in the directory
$ ant -p
to see available options.