从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本身是否在解决方案之间打印----------。用&或任何其他易于被计算机找到和解析的符号包围答案。您还可能需要验证是否确实得到了一个解决方案。