Name Last Update
.settings Loading commit data...
META-INF Loading commit data...
lib Loading commit data...
org.sat4j.br4cp Loading commit data...
org.sat4j.core Loading commit data...
org.sat4j.csp Loading commit data...
org.sat4j.csp.xmlparser Loading commit data...
org.sat4j.intervalorders Loading commit data...
org.sat4j.maxsat Loading commit data...
org.sat4j.pb Loading commit data...
org.sat4j.sat Loading commit data...
org.sat4j.scala Loading commit data...
org.sat4j.sudoku Loading commit data...
repo/xcsp3/xcsp3 Loading commit data...
src/site Loading commit data...
.gitlab-ci.yml Loading commit data...
.project Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
build.xml Loading commit data...
buildSite.sh Loading commit data...
pom.xml Loading commit data...
sat4j-live.bash Loading commit data...
settings.xml Loading commit data...
stylesheet.css Loading commit data...

HOW TO BUILD SAT4J FROM SOURCE

Using Maven (library users)

Just launch

$ mvn -DskipTests=true install

to build the SAT4J modules from the source tree.

All the dependencies will be gathered by Maven.

Using ant (solvers users)

Download the missing libraries and put them in the lib directory:

  • Apache commons CLI
  • Apache commons UseBean
  • Mozilla Rhino

Just type:

$ ant [core,pseudo,maxsat,sat]

to build the solvers from source.

The solvers will be available in the directory dist/CUSTOM.

You may want to use a custom release name.

$ ant -Drelease=MINE maxsat

In that case, the solvers will be available in the directory dist/MINE.

Type

$ ant -p

to see available options.