ConstraintSolver.jl

All the constraints that are currently supported by ConstraintSolver.jl, up-to-date with v0.6.5:

AllDifferentSet: AllDifferent
TableSet: VectorDomain
NotEqualTo: DifferentFrom
Strictly: Strictly
ReifiedSet: Reification
BoolSet: Conjunction, Disjunction, Negation