Choco错误:初始传播:由于

Question

我使用Choco，当我试图解决一个模型时，我会得到这样的信息：

- Initial Propagation: Contradiction due to [48.89604359598426,4.0]

那是什么意思？我在文件里找不到。

Answer 1

正如Sarge Borsch在评论中所建议的那样，当一个或多个约束与解决方案空间之间存在矛盾时，就会发生这种情况。第一个数字是为决策变量找到的唯一解决方案。第二个数字表示用户将变量设置为该数字。

因此，例如，x的三种解决方案是6、9和10，但如果存在约束x < 0，则与所找到的解决方案相矛盾，而求解者则会一直返回。

这意味着，模型没有解决方案。