Question

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

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

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

Answer 1

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

因此，例如，x的三个解决方案是6，9和10，但如果存在约束x < 0，则与{{1}}相矛盾找到解决方案，求解器一直回溯。

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