巧克力错误：初始传播：矛盾是由于

Question

我用Choco，当我尝试解决一个模型，我得到的消息：

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

这是什么意思？我无法在文档中找到它。

Answer 1

由于Sarge Borsch在评论中提出，它发生在一个或多个约束与解决方案空间之间存在矛盾时。第一个数字是决策变量的唯一解决方案。第二个数字表示用户将该变量设为该数字。

因此，例如，对于x三个解6，9和10但如果存在一个约束x < 0，违背与找到的解决方案和求解回溯背一路。

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