答案 0 :(得分：1)
似乎没有一个解决方案接受严格的约束，因为他们解决问题的方式和避免一些问题！
这是Gurobi所说的： Gurobi支持一组有限的比较器。具体而言，您可以将表达式约束为小于或等于，大于或等于或等于另一个。我们不支持严格的低于，严格的大于或不等于比较器。虽然这些其他比较器似乎适合于数学编程，但我们将它们排除在外以避免与数值公差相关的潜在混淆。考虑一对连续变量的严格不等式约束的简单例子：$ x＆gt; Y $。 $ x-y $需要多大才能满足约束条件？我们选择不支持这些约束，而不是试图将一些微妙且可能令人困惑的策略嵌入到求解器中，而不是支持它们。
http://www.gurobi.com/documentation/7.5/refman/constraints.html
如果你真的需要解决方案 尝试实现非严格约束并放置一个松弛变量来管理此问题 例： 2x-3y> 15转为2x-3y + slackvar＆gt; = 15