org.sat4j.csp.package.html Maven / Gradle / Ivy
Classes needed for CSP to SAT translation.
Those utility classes are used in the CSP readers to translate CSP problems into SAT.
They are basic, subject to change, and not considered part of the public API of SAT4J.