我使用Choco
,当我尝试解决模型时,我收到消息:
- Initial Propagation: Contradiction due to [48.89604359598426,4.0]
这是什么意思?我在文件中找不到它。
答案 0 :(得分:0)
在评论中建议Sarge Borsch,当一个或多个约束与解决方案空间之间存在矛盾时,就会发生这种情况。第一个数字是决策变量的唯一解决方案。第二个数字表示用户将变量强加为该数字。
因此,例如,x
的三个解决方案是6
,9
和10
,但如果存在约束x < 0
,则与{{1}}相矛盾找到解决方案,求解器一直回溯。
这意味着,该模型没有解决方案。