Xpress: sos 约束不支持线性表达式

与 Gurobi 类似，Xpress 解算器不支持原生线性 SOS 约束… 但与 Gurobi_solver.cc 使用临时变量来实现即时解决不同，Xpress 并没有采用此方法。