我在Jupyter笔记本中使用9个变量的Gurobi。我想添加约束，这样每个变量都有一个唯一的值。我如何在ruby线性规划求解器中编写此代码?
m.addConstr(i1 - i2 + y*a >= 1)
根据我的在线研究，以上是我目前试图执行的，但它不起作用。
为了更有建设性，这被称为完全不同的约束。这是许多约束规划(CP)求解器的一部分。在混合整数规划模型中实现此约束并非完全不重要或成本低廉。对于某些公式，请参见:https://pubsonline.informs.org/doi/abs/10.1287/ijoc.13.2.96.10515.
javascript python java c# php android html jquery c++ css ios sql mysql arrays asp.net json python-3.x ruby-on-rails .net sql-server django objective-c excel regex ruby linux ajax iphone xml vba spring asp.net-mvc database wordpress string postgresql wpf windows xcode bash git oracle list vb.net multithreading eclipse algorithm macos powershell visual-studio image forms numpy scala function api selenium