
sos1(?Vars)
EplexInstance:sos1(?Vars)

   Constrains all but one of Vars to be zero.

Arguments
   Vars                A collection of variables

Type
   library(eplex)

Description
	Constrains all but one of Vars to be zero.  In MIP terminology
	this is called a Special Ordered Set (SOS) of type 1.

	If the variables are also required to be integral, this must
	be separately declared using integers/1.  Similarly for bounds.

	

See Also
   sos2 / 1, integers / 1
