1

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

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

4

1 回答 1

0

使用fzn-gecode他们的 Gist 功能，您可以可视化搜索树。在Gecode 的建模指南中可以找到很多关于 gist 的文档。但是，它确实假设您正在编写 C++ 代码。

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

  1. mzn2fzn -G gecode [model].mzn (data.dzn)
  2. fzn-gecode -mode gist [model].fzn
于 2016-10-13T15:18:55.083 回答