Hi,
I have heard - but cannot find any documents about it, that some solvers are better at utilizing the "SOS1" variable type, whereas other solvers just converts the problem into one with binaries and a few more constraints. Is that true or not?
If true - which are the solvers that are more efficient by using SOS1 instead of binaries when applicable?
/Lars