https://gitlab.ow2.org/sat4j/sat4j.git
Tip revision: d26ae525b879bb18fc6bd09d2c3f6a118ac42950 authored by leberre on 29 July 2009, 20:35:22 UTC
create a tag for 2.1 final released with Eclipse.
create a tag for 2.1 final released with Eclipse.
Tip revision: d26ae52
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.