choco解算器解的解释

Question

当我运行我的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的值，有人能告诉我解决方案的其余部分是什么意思吗？

Answer 1

IV meqns引入了变量。 约束通常需要辅助变量才能起作用。 REIF变量是化化变量。 前面的注释不是逻辑运算符。

最佳

您可以找到文档https://github.com/chocoteam/choco-solver

Answer 2

更准确地说，其他变量是：
-由求解器引入（例如，通过重新制定，修正或某些视图）=>您无需在意它们。
或
-由您介绍但没有名称（在这种情况下会自动生成一个名称）=>如果要打印它们，最好给它们起一个名字

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