(MiniZinc) 无法识别的选项 `--solver'
(MiniZinc) unrecognized option `--solver'
解决了 处的 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 中给出的说明进行操作。
今天的版本 2.2.0 中引入了 --solver 选项。请安装最新版本的 MiniZinc，这应该可以解决您的问题
解决了 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 中给出的说明进行操作。
今天的版本 2.2.0 中引入了 --solver 选项。请安装最新版本的 MiniZinc，这应该可以解决您的问题