Choco 错误：初始传播：矛盾由于

【问题标题】：Choco Error: Initial Propagation: Contradiction due toChoco 错误：初始传播：矛盾由于
【发布时间】：2014-05-23 13:52:35
【问题描述】：

我使用Choco，当我尝试求解模型时，我收到消息：

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

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

【问题讨论】：

【解决方案1】：

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

因此，例如，x 的三个解是 6、9 和 10，但如果存在约束 x < 0，则与找到的解相矛盾，求解器会一直回溯.

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

【讨论】：