SAT4J
This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.com/ , but the service was since closed. Please read a closing note on my blog post: http://piotr.gabryjeluk.pl/blog:closing-svn2github . If you want to continue synchronizing this repo, look at https://github.com/gabrys/svn2github
Install / Use
/learn @svn2github/SAT4JREADME
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.
