巧克力錯誤：初始傳播：矛盾是由於

Question

我用Choco，當我嘗試解決一個模型，我得到的消息：

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

這是什麼意思？我無法在文檔中找到它。

Answer 1

由於Sarge Borsch在評論中提出，它發生在一個或多個約束與解決方案空間之間存在矛盾時。第一個數字是決策變量的唯一解決方案。第二個數字表示用戶將該變量設爲該數字。

因此，例如，對於x三個解6，9和10但如果存在一個約束x < 0，違背與找到的解決方案和求解回溯背一路。

這意味着，該模型沒有解決方案。