Just launch
$ mvn -DskipTests=true install
to build the SAT4J modules from the source tree.
All the dependencies will be gathered by Maven.
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.