本文介绍了(MiniZinc)无法识别的选项'--solver'的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!

问题描述

解决问题后,我在之后,通过命令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'的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持!

08-19 16:38
查看更多