MiniZinc“无法确定界限”

Question

编写我的第一个非平凡的MiniZinc应用程序，我一直遇到错误＆＃34;无法确定界限＆＃34;。一般人如何解决这个错误？

Answer 1

通常“无法确定边界”意味着求解器无法确定决策变量的边界（域）。

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

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

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