Uses of Package
org.sat4j.csp.constraints

Packages that use org.sat4j.csp.constraints

Package	Description
org.sat4j.csp.constraints	Classes needed for CSP to SAT translation.
org.sat4j.reader	Some utility classes to read problems from plain text files.

Classes in org.sat4j.csp.constraints used by org.sat4j.csp.constraints

Class and Description
AllDiff
Relation A relation is a formula given in extension.
Supports

Classes in org.sat4j.csp.constraints used by org.sat4j.reader

Class and Description
Relation A relation is a formula given in extension.