[ library(ic_global) | Reference Manual | Alphabetic Index ]
The list elements are ordered and their sum is Sum
- List of integers or domain variables
- Variable or integer
This constraint is declaratively equivalent to:
ordered_sum(List, Sum) :-
sum(List) #= Sum.
However, additional propagation is performed.
Any input variables which do not already have finite bounds will
be given default bounds of -10000000 to 10000000.
ordered / 2, sumlist / 2