Java 解释来自choco solver的解决方案

当我运行choco solver 4.0.6时，我得到了这种解决方案：

Solution : X = 10, Y = 14, REIF_1=1, not(REIF_1)=0, REIF_2=1, not(REIF_2)=0,  IV_3=2, REIF_4=1, not(REIF_4)=0 ...

---

除了X和Y的值，有人能告诉我解的其余部分是什么意思吗。 通常，当约束需要辅助变量才能工作时。 REIF变量是具体化的变量。 前面的注释不是逻辑运算符

胜过

---

您可以找到更准确的文档，其他变量为：
-由解算器引入（例如，通过重新表述、具体化或某些视图）=>您不应该关心它们。
或
-由您介绍但没有名称（在这种情况下会自动生成名称）=>如果要打印它们，您最好给它们一个名称

---

我还建议您直接打印所需的变量，而不是依赖默认日志。

除非您提供完整的代码，否则您得到的其余输出的最佳答案是，它来自圣诞老人。我会首先阅读您正在使用的工具的文档。

REIF_1

很可能是第一个工具的结果，

REIF_2

第二个工具的结果，

IV_3

主要是添加到模型中的未命名变量的值……在我测试时，“IV_”用于未命名的

IntVar

，非“引入变量”-与使用“BV_uu”的

BoolVar

相同，

RealVar

“RV_u”。。。

IvariableFactory

（由

型号实施）的代码