Next: 4.9.0 Other Changes, Up: 4.9.0 Changes [Contents]
cumulatives
.
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.