java - 从 Java 调用 Minizinc 模型

Question

如何从 Java 程序中使用数组作为传递参数调用 Minizinc 模型？有什么特殊的命令可以做到这一点吗？

Answer 1

我经常做同样的事情，但是是在 python 中。可能没有任何模块或扩展可以以任何方便的方式集成调用，但调用另一个程序是很容易的。

由于我还没有在 Java 中尝试过，所以我将让另一篇堆栈溢出帖子指导您:Execute external program in java 。

您可以将参数作为 -D "var_int_name=10;var_int_array=[1,2,3];" 传递，也可以提供一个数据文件作为调用中的最后一个参数迷你锌。

一般技巧是使 MiniZinc 模型的输出非常容易识别和解析，因为许多求解器会打印额外的内容，而不仅仅是解决方案。例如，MiniZinc 本身是否在解决方案之间打印 ---------- 。用 & 或任何其他易于计算机查找和解析的符​​号包围答案。您可能还想验证您是否确实得到了解决方案。