minizinc - 在 minizinc 中打印完整解决方案(所有决策变量)的简单方法

Question

锌规范是这样说的:

If no output item is present, the implementation should print all the global variables and their values in a readable format.

但是，这似乎不适用于 minizinc 1.6.0 版:

G12 MiniZinc evaluation driver, version 1.6.0

我已经尝试了默认命令 (minizinc) 和 mzn-gecode。

我真的很想避免在输出表达式中重复所有变量名。我真正想要的是以某种结构化格式(例如 YAML)输出所有决策变量，但我会采用某种方式来避免这种重复。

澄清一下:我的模型与 CSP 的典型示例不匹配，例如没有大数组或矩阵。它只是一组相当大的(相对而言)个体决策变量。

编辑:错误 created .

EDIT2:现在在 minizinc 2.0 git 存储库中修复了错误，因此它符合规范。

Answer 1

据我所知，当模型中没有定义的输出项时，所有 FlatZinc 求解器都只为每个解决方案显示一个“---------”。因此，这部分的规范似乎是错误的/过时的。

这些年来，输出项目发生了一些(或多或少根本性的)变化。在一些早期的 MiniZinc 版本中，它按照规范描述的方式工作，并且在建模问题时非常方便(尽管很难获得好的输出)。当行为改变时，这是一个真正的麻烦，因此需要一个输出项来显示结果。

有趣的是，Zinc(MiniZinc 的“老大哥”， http://www.minizinc.org/g12_www/zinc/ )按描述工作，即在没有输出项时显示所有全局变量。也许规范作者只是忘记提及 MiniZinc 不同。