org.sat4j.csp.constraints
Interfaces
Relation
Classes
AllDiff
BessiereSupports
GentSupports
Nogoods
Supports
WalshSupports