visualon/sat4j

Mirror of https://gitlab.ow2.org/sat4j/sat4j

HOW TO DOWNLOAD SAT4J JAR FILES

• Older releases are available from OW2 download repository
• Recent releases are available from OW2 gitlab release page
• Nighlty builds are available from OW2 gitlab continuous integration

HOW TO GET HELP?

It is possible to get help from the community on our RocketChat channel.

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)

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.