# How to add a SOS1 equality constraint?

Most MIP solver's API have special methods to add SOS1-constraints of the form $$\sum_{i \in I} c_i x_i \leq 1, \tag{1}$$ i.e. at most one of the binary variables $$x_i, i \in I$$ is allowed to take a non-zero value. As far as I know, writing $$(1)$$ as SOS1-constraint enables most solvers to use SOS1-branching, i.e. in Gurobi's Python API this means to

# Use this
model.addConstr(sum(c[i]*x[i] for i in I) <= 1)

Is there also a special method for a SOS1-constraint

$$\sum_{i \in I} c_i x_i = 1, \tag{2}$$

i.e. exactly one of the binary variables takes a non-zero value?

I don't think

unless you add bounds like $$x_i \in [0,1/c_i]$$ to the SOS variables (and add another constraint to select one $$x_i$$).