如何安装minizinc解决程序

Question

在MiniZinc (windows )中，我如何解析:平板锌:错误: FD解算器后端不支持‘`var’类型的变量。我意识到我需要一个不同的解决程序，但找不到一个程序安装一个和首选项dlg似乎不起作用。另外，还不清楚哪个解算器会起作用。

Answer 1

G12/fd求解器不支持浮点决策变量。您是否在“解决程序”列表中找到G12 MIP解算器？如果是的话，试试它，看看它是否能解决这个模型。有帮助文本(“帮助，帮助.”)如果不是，这可能会帮助您添加求解器。

然而，如果它是一个非线性模型，那么G12/mip可能会抱怨，您必须尝试另一个求解器。Gecode和JaCoP对非线性浮点模型有一定的支持.

在MiniZinc 2.0中，如果使用"-G线性“标志，则它可能与G12/mip和非线性模型一起工作:然后，mzn2fzn将线性化非线性约束。