MiniZinc：不可满足时显示选择点

Question

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

即使条件不满意，我怎样才能显示选择点？

Answer 1

使用fzn-gecode，您可以使用其Gist功能可视化搜索树。有关gist的大量文档可以在Gecode's Modeling Guide中找到。但它确实假设您正在编写C ++代码。

要从MiniZinc模型中使用它，请执行以下命令：

1. mzn2fzn -G gecode [model].mzn (data.dzn)
2. fzn-gecode -mode gist [model].fzn