我用Choco
,當我嘗試解決一個模型,我得到的消息:巧克力錯誤:初始傳播:矛盾是由於
- Initial Propagation: Contradiction due to [48.89604359598426,4.0]
這是什麼意思?我無法在文檔中找到它。
我用Choco
,當我嘗試解決一個模型,我得到的消息:巧克力錯誤:初始傳播:矛盾是由於
- Initial Propagation: Contradiction due to [48.89604359598426,4.0]
這是什麼意思?我無法在文檔中找到它。
由於Sarge Borsch在評論中提出,它發生在一個或多個約束與解決方案空間之間存在矛盾時。第一個數字是決策變量的唯一解決方案。第二個數字表示用戶將該變量設爲該數字。
因此,例如,對於x
三個解6
,9
和10
但如果存在一個約束x < 0
,違背與找到的解決方案和求解回溯背一路。
這意味着,該模型沒有解決方案。
這意味着模型沒有解決方案,我猜。例如,如果你試圖找到真正的'X',比如'X * X = -1'。 –