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

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.