Constraints that would be nice to have from a CPMpy Perspective

[mmcilree]

Just listing here for the record

• LessThanEqualIf, GreaterThanIf, GreaterThanEqualIf (just wrappers)
• NotEqualsIf, NotEqualsIff
• LinearLessEqualIf, LinearGreaterEqualIf (can use coefficients for boolvar =>, but what about IntegerVariableCondition => more generally?)
• LinearEqualityIf, LinearNotEqualsIf LinearNotEqualsIff
• Half reified And and Or
• XOR on an arbitrary number of vars (same as parity)
• Other globals: cumulative, GCC, allequal, alldifferentexcept, nooverlap

[ciaranm]

I think Xor on an arbitrary number of values is Parity?

[mmcilree]

So it is