Java Choco错误：初始传播：由于

我使用Choco，当我尝试求解模型时，我得到了以下信息：

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

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

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

因此，例如，

x

的三个解决方案是

6

、

9

和

10

，但如果存在约束

x<0

，则与找到的解决方案相矛盾，解算器会一路返回

---

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

我猜，这意味着模型没有解决方案。例如，如果您试图找到真正的<代码> x<代码>，例如<代码> x*x= -1 。请考虑删除问题和答案。“这对任何人都没有帮助。”我编辑了这个问题。现在可能会有帮助。