[ library(eplex) | Reference Manual | Alphabetic Index ]
# sos1(?Vars)

# EplexInstance:sos1(?Vars)

Constrains all but one of Vars to be zero.
*Vars*
- A collection of variables

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

_498025 : sos1 / 1, sos2 / 1, integers / 1