问题描述
解决问题后,我在之后,通过命令minizinc -c --solver Gecode model.mzn data.dzn
调用求解器时,我也很快遇到了另一个问题.我得到了错误: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'的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持!