Minizinc 中的“和”、“或”运算符？

Question

这可能是一个简单的答案，就像 no 在 Minizinc 中没有“或”或“和”运算符，但我似乎无法在 google 上找到任何相关的内容。

在大多数编程语言中，您可以这样做：

boolean s = (a != 1 && b != 2);

但我在任何地方都找不到此语句的 Minizinc 版本，例如： constraint a != 1 and b != 2;

干杯

Answer 1

析取（或）和合取（与）在 MiniZinc 中分别写为 \/ 和 /\。

所以你的例子应该写成

constraint a != 1 /\ b != 2;

在这里查看更多信息：https://www.minizinc.org/doc-2.5.5/en/modelling2.html?highlight=conjunction