Boolean 如何在cplex中强制布尔变量等于零

我有一个Q[b][j]变量，它决定了第1批必须处理多少工作 如果它在批处理1中参与1个或多个作业，则Y[b][j]必须为1。Y[b][j]是布尔值。 我试过这个

---

对于所有（n在J中，p在B中）Q[p][n]-9999*Y[p][n]可以使用逻辑约束：

forall (n in J,p in B)
  Y[n][p] == (Q[n][p]>=1);

---

非常感谢，它成功了。