java - 来自 choco solver 的解法说明

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

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

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

Answer 2

IV meqns 引入了变量。通常当约束需要辅助变量来工作时。REIF 变量是具体化的变量。前面的注释不是逻辑运算符。

最好的

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