https://gitlab.ow2.org/sat4j/sat4j.git
Tip revision: e99c3f264d37afff789e66bb378625684944fe2b authored by leberre on 19 April 2013, 12:09:31 UTC
[maven-release-plugin] copy for tag org.ow2.sat4j.pom-2.3.4
[maven-release-plugin] copy for tag org.ow2.sat4j.pom-2.3.4
Tip revision: e99c3f2
README
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.