
sumlist(+List, ?Sum)

   The sum of the list elements is Sum

Arguments
   List                List of integers or domain variables
   Sum                 Variable or integer

Type
   library(ic_global)

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

See Also
   ordered / 2, ordered_sum / 2, fd : #= / 2, suspend : #= / 2, ria : #= / 2, fdplex : #= / 2, ic : #= / 2
