[ library(fd_global) | Reference Manual | Alphabetic Index ]

# sumlist(+List, ?Sum)

The sum of the list elements is Sum

List
  List of integers or domain variables
Sum
  Variable or integer

## Description

The sum of the list elements is Sum. This constraint is more efficient than the general arithmetic constraint if the list is long and Sum is not constrained frequently.

Any input variables which do not already have finite bounds will be given default bounds of -10000000 to 10000000.

## See Also

ordered / 2, ordered_sum / 2, suspend : #= / 2, ic : #= / 2, gfd : #= / 2, fd : #= / 2