Uses of Package
org.sat4j.csp.constraints

Packages that use org.sat4j.csp.constraints

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

Relation
A relation is a formula given in extension.

Supports

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

Relation
A relation is a formula given in extension.