13.34.1 New Features

• Upgraded to MiniZinc 2.8.0 with native support for constraint cumulatives.
• CLPFD:
  • - Arithmetic expressions X ^ Y, X /\ Y, X \/ Y, X \ Y, \(X), xor(X,Y) are new constraint counterparts of those Prolog arithmetic expressions. X ^ Y is only valid for integer arguments and values.
  • - all_different/2 and all_distinct/2 take the new option cost(Cost,Matrix).
  • - table/[2,3] maintains domain consistency, even if it is used reified.
  • - Performance improvements.