Minizinc 迷你锌：不满意时显示选择点

在Minizing中运行程序时，-s标志让我可以看到在寻找解决方案时探索的选择点的数量。但是，如果条件不可满足，则不会显示所探索的选择点的数量

---

即使条件不满足，我如何显示选择点？

使用

fzn gecode

您可以使用Gist功能可视化搜索树。有关gist的许多文档可以在中找到。但是它假设你正在编写C++代码。 要从Minizing模型中使用它，请执行以下命令：

mzn2fzn-ggecode[model].mzn（data.dzn）

fzn gecode-模式要点[model].fzn

---

使用

fzn gecode

您可以通过使用其Gist功能来可视化搜索树。有关gist的许多文档可以在中找到。但是它假设你正在编写C++代码。 要从Minizing模型中使用它，请执行以下命令：

mzn2fzn-ggecode[model].mzn（data.dzn）

fzn gecode-模式要点[model].fzn

---

我认为任何Flatzin解算器都没有此功能。（我不确定这意味着什么：如果模型不令人满意，是否有任何选择可以报告？@hakank我对Minizing非常陌生（事实上只有几天），但我的理解是，选择点是在找到解决方案之前探索的选项数。因此，如果没有一种解决方案能够满足这些条件，Minizing是否至少应该说明已经探索了多少种选择？再说一次，我可能完全错了。我现在明白你的意思了。某些Flatzin解算器可能会显示统计信息（在使用-s标志时），即使是对于不可满足的模型，但有些则不会。有时，第一次展平过程可能会在没有任何统计数据的情况下给出不可满足的结果（“警告：检测到模型不一致”）。所以这似乎取决于解算器和UNSAT是如何到达的。@hakank好的。我想这就是我要回答的问题了。我不认为任何FlatZin解算器都有这个功能。（我不确定这意味着什么：如果模型不令人满意，是否有任何选择可以报告？@hakank我对Minizing非常陌生（事实上只有几天），但我的理解是，选择点是在找到解决方案之前探索的选项数。因此，如果没有一种解决方案能够满足这些条件，Minizing是否至少应该说明已经探索了多少种选择？再说一次，我可能完全错了。我现在明白你的意思了。某些Flatzin解算器可能会显示统计信息（在使用-s标志时），即使是对于不可满足的模型，但有些则不会。有时，第一次展平过程可能会在没有任何统计数据的情况下给出不可满足的结果（“警告：检测到模型不一致”）。所以这似乎取决于解算器和UNSAT是如何到达的。@hakank好的。我想这就是我的问题的答案了。