使用minizinc转换.mzn为.mps时遇--writeModel选项报错

你的命令错误出在选项名格式上：

• 你用的--writeModel是错误写法，MiniZinc命令行选项采用小写+连字符的命名规范，正确选项是--write-model

另外需要注意，MiniZinc本身无法直接生成MPS文件，得借助支持MPS输出的线性规划求解器（比如CPLEX、Gurobi），完整的正确命令示例如下：

minizinc --solver cplex --write-model test.mps test.mzn

关键参数说明 #

• --solver cplex：指定使用CPLEX求解器（可替换为你已安装的其他支持MPS的求解器，用minizinc --solvers能查看本地已配置的求解器列表）
• --write-model test.mps：要求求解器将编译后的模型导出为指定路径的MPS文件
• test.mzn：你的源MiniZinc模型文件路径

内容的提问来源于stack exchange，提问作者qin cubism