Choco错误:初始传播:由于的矛盾

时间:2014-05-23 13:52:35

标签: java constraint-programming choco

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

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

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

1 个答案:

答案 0 :(得分:0)

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

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

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