HOW TO BUILD SAT4J FROM SOURCE

+ Using Maven

Just launch 

$ mvn -Dmaven.test.skip=true install

to build the SAT4J modules from the source tree.

All the dependencies will be gathered by Maven.

+ Using ant

Download the missing libraries and put them in the lib directory:
+ Apache commons CLI
+ Apache commons UseBean
+ Mozilla Rhino

Just type:

$ ant 

to build the modules from source.

