迷你锌 "cannot determine bounds"

Question

编写我的第一个不平凡的 MiniZinc 应用程序时，我一直 运行 进入错误 "cannot determine bounds"。一般如何解决这个错误？

Answer 1

一般来说，“无法确定边界”意味着求解器无法确定决策变量的边界（域）。

应尽可能避免使用 "var int" 作为决策变量的域，因为这可能会减慢求解过程。有时求解器可以计算出域，例如在喜欢的情况下

% ...
var int: z = sum(x);

当 "x" 已声明域时。但是，通常，请尝试定义域。