https://gitlab.ow2.org/sat4j/sat4j.git
Revision b24174c88536698f55a9d0cb13e0278bfffd857c authored by leberre on 28 May 2013, 15:07:37 UTC, committed by leberre on 28 May 2013, 15:07:37 UTC
git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/branches/SAT107FIX@2053 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
1 parent d251bf8
Tip revision: b24174c88536698f55a9d0cb13e0278bfffd857c authored by leberre on 28 May 2013, 15:07:37 UTC
Added fix for SAT-107. Updated version number to 2.3.5
Added fix for SAT-107. Updated version number to 2.3.5
Tip revision: b24174c
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.
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...