I try to solve this 0-1 integer linear program (maximize, thus the minus) with LinearOptimization: ``` LinearOptimization[ -(15 x + 6 y + 0 a), { 275 a >= 0, a <= x, a <= y, a >= -1 + x + y, a >= 0, a <= 1, x >= 0, x <= 1, y >= 0, y <= 1 }, {x, y, a}, Integers ] ``` This should yield the solution `x = y = a = 1`. However, I get the following error: ``` LinearOptimization::misupp: The CLP method does not support mixed integer optimization. ``` I introduced `a` to linearize the constraint `275 x y >= 0`. Also, I used matrix/vector notation in `LinearOptimization` ``` LinearOptimization[-{15, 6, 0}, { -{{0, 0, -275}, {-1, 0, 1}, {0, -1, 1}, {1, 1, -1}, {-1, 0, 0}, {1, 0, 0}, {0, -1, 0}, {0, 1, 0}, {0, 0, -1}, {0, 0, 1}}, {0, 0, 0, 1, 0, 1, 0, 1, 0, 1}}] ``` This works and returns `{1,1,1}`. The bottom approach shows that my constraints are linear, so why does Mathematica think my program is mixed-linear?