choco解算器解的解释

Question

当我运行我的巧克力解算器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

为了更准确，其他变量是： - 由解算器引入（例如通过重新制定，具体化或某些观点）=>你不应该关心它们。 要么 - 由你介绍，但没有名字（在这种情况下会自动生成名称）=>如果你想打印它们，你最好给它们一个名字

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