sat-solvers - 如何安装 minizinc 求解器

Question

在 MiniZinc (windows IDE) 我如何解决：flatzinc：错误：FD 求解器后端不支持“var float”类型的变量。我意识到我需要一个不同的求解器，但找不到安装一个程序的过程，并且 Preferences dlg 似乎不起作用。另外，不清楚哪个求解器可以工作。

Answer 1

G12/fd 求解器不支持浮点决策变量。您是否在“求解器”列表中找到 G12 MIP 求解器？如果是这样，试试看它是否可以解决模型。如果没有，有一个帮助文本（“Help，Help...”）可能会帮助您添加求解器。

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

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