來自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自己在解決方案之間打印----------。用&或任何其他易於通過計算機查找和解析的符​​號環繞答案。您可能還想驗證您是否確實獲得瞭解決方案。