如何在 MiniZinc 中初始化具有特定数字域的变量？
How to initialise a variable with a specific domain of numbers in MiniZinc?
在 MiniZinc 中，我们初始化一个值域，例如：
var 2..6: X;
但是，如果需要的值只有[2, 4, 6]，不包括3和5，如何为变量初始化这样一个域？
使用集合表示法 {...} 枚举有效域，即花括号，而不是方括号。
var {2,4,6}: x;
注：2..6 与 {2,3,4,5,6}.
相同（更确切地说是 shorthand 的 shorthand）
这在 MiniZinc Tutorial 中有更多讨论。
在 MiniZinc 中，我们初始化一个值域，例如：
var 2..6: X;
但是，如果需要的值只有[2, 4, 6]，不包括3和5，如何为变量初始化这样一个域？
使用集合表示法 {...} 枚举有效域，即花括号，而不是方括号。
var {2,4,6}: x;
注：2..6 与 {2,3,4,5,6}.
这在 MiniZinc Tutorial 中有更多讨论。