
min(+Vars, ?Min)

   Constrains Min to be the smallest element in Vars.

Arguments
   Vars                Collection (a la collection_to_list/2) of variables or numbers (NOT arbitrary expressions)
   Min                 Minimum element of Vars

Type
   library(ic)

Description

   Constrains Max to be the smallest element in the collection of variables
   or numbers Vars.

   You may find it more convenient to embed min(Vars) in a
   constraint.


See Also
   max / 2, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2
