Node:3.9 New CLPFD Features, Next:3.9 All-in-one Executables, Previous:3.9 PiLLoW Web Programming Library, Up:3.9 Changes
Generally, performance has been improved, in terms of CPU time as well as memory. Specific new features:
assert/1
, findall/3
,
raise_exception/1
and friends are now safe to use on non-ground
terms containing domain variables.
labeling/2
takes a new option, which supports limited discrepancy
search. To support this, the apply_bound/1
API has been replaced
by predicates called first_bound/2
and later_bound/2
.
knapsack/3
is a domain consistent special
case of scalar_product/4
.
global_cardinality/2
constrains the number of
occurrences of given integers in a list.
case/4
.
disjoint2/2
takes a new option, which tells the constraint to
perform stronger reasoning if some rectangles have the same origin and
certain other conditions are fulfilled.
serialized/3
and cumulative/5
take a new option, which
tells the constraint whether to only adjust domain bounds. This is
now the default.
precedences/1
option of the same constraints has a more
general format.
cumulatives/[2,3]
generalizes
cumulative/[4,5]
by considering multiple resources, positive and
negative resource consumption, and lower and upper bounds.