Package org.sat4j.csp.constraints

Classes needed for CSP to SAT translation.

See: Description

Interface Summary

Interface	Description
Relation	A relation is a formula given in extension.

Class Summary

Class	Description
AllDiff
AllDiffCard
BessiereSupports
GentSupports
Nogoods
Supports
WalshSupports

Package org.sat4j.csp.constraints Description

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.