(MiniZinc) unrecognized option `--solver'

女生的网名这么多〃 提交于 2019-12-11 17:13:06

问题


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".

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

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


回答1:


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



来源:https://stackoverflow.com/questions/51997361/minizinc-unrecognized-option-solver

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!