GitHub - svn2github/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

svn2github / SAT4J Public

Notifications You must be signed in to change notification settings
Fork 3
Star 9

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.…

9 stars 3 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2,392 Commits
.settings		.settings
META-INF		META-INF
lib		lib
org.sat4j.br4cp		org.sat4j.br4cp
org.sat4j.core		org.sat4j.core
org.sat4j.csp.xmlparser		org.sat4j.csp.xmlparser
org.sat4j.csp		org.sat4j.csp
org.sat4j.intervalorders		org.sat4j.intervalorders
org.sat4j.maxsat		org.sat4j.maxsat
org.sat4j.pb		org.sat4j.pb
org.sat4j.sat		org.sat4j.sat
org.sat4j.scala		org.sat4j.scala
org.sat4j.sudoku		org.sat4j.sudoku
repo/xcsp3/xcsp3		repo/xcsp3/xcsp3
src/site		src/site
.project		.project
README		README
build.xml		build.xml
buildSite.sh		buildSite.sh
pom.xml		pom.xml
sat4j-live.bash		sat4j-live.bash
stylesheet.css		stylesheet.css

Repository files navigation

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.