Hi There. At work i encounter a lot of "SOS' type problems - mostly when i want to model "choose exactly one member of a group". Currently I model this with binary variables, whose sum i constraint to be less than 1. Modeling this using SOS seems like a better approach- more compact, and also could yield better MIP results.
Are SOS's supported in glpk? If not, any reason why?