（MiniZinc）无法识别的选项'--solver'

Question

解决了Unable to run MiniZinc from command line - Even after adding installation location to PATH中的PATH问题之后，通过命令it('shows an apple', () => { const vue = shallowMount(myVue), apple = vue.element.getAttribute('apple') expect(apple).to.exist // or expect(apple).to.have.length(1); - which is how you'd do it with enzyme but I'm not sure yet what getAttribute returns yet }); 调用求解器时，我很快遇到了另一个问题。我得到了错误：minizinc -c --solver Gecode model.mzn data.dzn。

我该如何解决？我也想使用CBC和Gurobi求解器（mzn-cbc，mzn-gurobi）。.

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

Answer 1

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