从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本身在解决方案之间打印----------。用＆amp;或任何其他易于通过计算机查找和解析的符​​号。您可能还想验证确实找到了解决方案。