
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 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
