
min(+Vars, ?Min)

   Constrains Min to be the smallest element in Vars.

Arguments
   Vars                List 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 list of
	variables of numbers (Vars).

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


See Also
   max / 2
