(MiniZinc)无法识别的选项'--solver' [英] (MiniZinc) unrecognized option `--solver'

问题描述

解决问题后，我在.

After resolving the problem I had with the PATH at Unable to run MiniZinc from command line - Even after adding installation location to PATH, I soon encountered another problem when invoking the solver via the command minizinc -c --solver Gecode model.mzn data.dzn. I obtained the error: minizinc: unrecognized option "--solver".

我该如何解决?我也想使用CBC和Gurobi求解器(mzn-cbc，mzn-gurobi)..

How can I resolve this? I also want to use the CBC and Gurobi solvers (mzn-cbc, mzn-gurobi) as well..

我正在按照 http://www上的说明进行操作. minizinc.org/doc-2.2.0/en/command_line.html (如果有帮助).

I am following the instructions given at http://www.minizinc.org/doc-2.2.0/en/command_line.html if it helps.

推荐答案

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

The --solver option was introduced in the release today, version 2.2.0. Please install the newest version of MiniZinc and this should solve you problem

这篇关于(MiniZinc)无法识别的选项'--solver'的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！