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 模型的输出非常容易识别和解析，因为许多求解器会打印额外的东西而不仅仅是解决方案。例如 MiniZinc 本身是否----------在溶液之间打印。用 & 或任何其他容易被计算机找到和解析的符​​号包围答案。您可能还想验证您确实得到了解决方案。