.sat4j.pb.2.3.1.source-code.package.html Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of org.sat4j.pb Show documentation

The pb library contains algorithms for solving pseudo boolean optimization problems.

The newest version!


Implementation of the MiniSAT specification in Java.

Some classes have been added in order to allow testing several heuristics aand learning scheme
but the solver is still very close to the original MiniSAT.

For sake of efficiency, some tradeoff with OOP were made: literals are here represented by integers
whose attributes are stored in a Lits (vocabulary) object.

A factory of solvers is provided for a friendly access to prebuilt solvers.