来自minizinc的gurobi中的不可减少的不可行集（IIS）

Question

如果我通过minizinc接口（即mzn-gurobi）使用它，有没有办法从Gurobi获取IIS？ 谢谢， 奥弗

Answer 1

目前mzn-gurobi不存在此类选项。通过检查帮助输出可以看到所有可用选项：mzn-gurobi -h。通常，线性求解器（CBC，CPLEX，Gurobi）的选项是共享的。如果您缺少此功能，我建议您在MiniZinc repository上发送功能请求。 （请注意，此功能无法指向MiniZinc模型中的约束，只能生成FlatZinc约束）

MiniZinc正在开发的是 Minimal Unsatisfiable Sets ，在我的理解中是相同的。一种特殊的MiniZinc 求解器正在开发中，它将在MiniZinc中提供违反模型的约束子集。虽然看起来发展势头强劲，但在此计划发布之前可能需要一段时间。如果您迫切需要此类工具，可以尝试联系MiniZinc Team。