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.
Send feedback on this subject.