'And'、'Or' Minizinc 中的运算符？
'And', 'Or' operators in Minizinc?
这可能是一个简单的答案，例如 no Minizinc 中没有 'or' 或 'and' 运算符，但我似乎无法在 google.
上找到任何与之相关的内容
在大多数编程语言中，您可以这样做：
boolean s = (a != 1 && b != 2);
但是我在任何地方都找不到此语句的 Minizinc 版本，例如：
constraint a != 1 and b != 2;
干杯
析取(or)和连取(and)在MiniZinc中分别写成\/和/\。
所以你的例子应该写成
constraint a != 1 /\ b != 2;
在这里查看更多内容：https://www.minizinc.org/doc-2.5.5/en/modelling2.html?highlight=conjunction
这可能是一个简单的答案，例如 no Minizinc 中没有 'or' 或 'and' 运算符，但我似乎无法在 google.
上找到任何与之相关的内容在大多数编程语言中，您可以这样做：
boolean s = (a != 1 && b != 2);
但是我在任何地方都找不到此语句的 Minizinc 版本，例如：
constraint a != 1 and b != 2;
干杯
析取(or)和连取(and)在MiniZinc中分别写成\/和/\。
所以你的例子应该写成
constraint a != 1 /\ b != 2;
在这里查看更多内容：https://www.minizinc.org/doc-2.5.5/en/modelling2.html?highlight=conjunction