bounds - MiniZinc“无法确定界限”

Question

编写我的第一个重要的 MiniZinc 应用程序时，我一直遇到错误“无法确定边界”。通常如何解决此错误？

Answer 1

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

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

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

当“x”声明域时。但是，作为一项规则，尝试定义域。