
minlist(+List, ?Min)

   Min is the minimum of the values in List

Arguments
   List                Collection of integers or domain variables
   Min                 Variable or integer

Type
   library(ic_global)

Description
    	Min is the minimum of the values in List.  Operationally: 
	Min gets updated to reflect the current range of the minimum
	of variables and values in List.  Likewise, the list
	elements get constrained to the minimum given

See Also
   maxlist / 2, sumlist / 2, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2
