More Reified Constraints

General Arithmetic Equations:

X = I1*X11*…*X1m1 + … + In*Xn1*…*Xnmn =: 0

<: >: =<: >=: \=:

Others:

{FD.reified.distance X1 X2 I X3 B}

{FD.reified.card X1 Xs X2 B}

Previous slide

Next slide

Back to first slide

View graphic version