Subscriber portal
Adds an SOS1 constraint.
Sos1[args]
Sos1[point_0 * decision_0 + ... + point_n * decision_n]