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