(MiniZinc) 无法识别的选项 `--solver'答案

【问题标题】：(MiniZinc) unrecognized option `--solver'(MiniZinc) 无法识别的选项 `--solver'
【发布时间】：2018-08-24 04:11:22
【问题描述】：

在解决了Unable to run MiniZinc from command line - Even after adding installation location to PATH 的PATH 问题后，我很快在通过命令minizinc -c --solver Gecode model.mzn data.dzn 调用求解器时遇到了另一个问题。我得到了错误：minizinc: unrecognized option "--solver"。

我该如何解决这个问题？我也想使用 CBC 和 Gurobi 求解器（mzn-cbc，mzn-gurobi）。

如果有帮助，我会按照http://www.minizinc.org/doc-2.2.0/en/command_line.html 的说明进行操作。

【问题讨论】：

【解决方案1】：

--solver 选项是在今天的版本 2.2.0 中引入的。请安装最新版本的 MiniZinc，这应该可以解决您的问题

【讨论】：