问题
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