Generally, performance has been improved, in terms of CPU time as well as memory. Specific new features:
raise_exception/1and 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
knapsack/3is a domain consistent special case of
global_cardinality/2constrains the number of occurrences of given integers in a list.
disjoint2/2takes a new option, which tells the constraint to perform stronger reasoning if some rectangles have the same origin and certain other conditions are fulfilled.
cumulative/5take a new option, which tells the constraint whether to only adjust domain bounds. This is now the default.
precedences/1option of the same constraints has a more general format.
cumulative/[4,5]by considering multiple resources, positive and negative resource consumption, and lower and upper bounds.