如何安装 minizinc 解算器
How to install a minizinc solver
在 MiniZinc (windows IDE) 我该如何解决：
flatzinc：错误：FD 求解器后端不支持“var float”类型的变量。
我意识到我需要一个不同的求解器，但找不到安装一个的程序，而且首选项 dlg 似乎不起作用。另外，不清楚哪个求解器可以工作。
G12/fd 求解器不支持浮点决策变量。您在 "Solver" 列表中找到 G12 MIP 求解器了吗？如果是，试试看能不能解出模型。有一个帮助文本 ("Help, Help...") 可能会帮助您添加解算器，如果没有的话。
但是，如果它是一个非线性模型，那么 G12/mip 可能会报错，您必须尝试另一个求解器。 Gecode 和 JaCoP 对非线性浮点模型有一些支持。
在 MiniZinc 2.0 中，如果使用“-G 线性”标志，它可能与 G12/mip 和非线性模型一起工作：mzn2fzn 将线性化非线性约束。
在 MiniZinc (windows IDE) 我该如何解决： flatzinc：错误：FD 求解器后端不支持“var float”类型的变量。 我意识到我需要一个不同的求解器，但找不到安装一个的程序，而且首选项 dlg 似乎不起作用。另外，不清楚哪个求解器可以工作。
G12/fd 求解器不支持浮点决策变量。您在 "Solver" 列表中找到 G12 MIP 求解器了吗？如果是，试试看能不能解出模型。有一个帮助文本 ("Help, Help...") 可能会帮助您添加解算器，如果没有的话。
但是，如果它是一个非线性模型，那么 G12/mip 可能会报错，您必须尝试另一个求解器。 Gecode 和 JaCoP 对非线性浮点模型有一些支持。
在 MiniZinc 2.0 中，如果使用“-G 线性”标志，它可能与 G12/mip 和非线性模型一起工作：mzn2fzn 将线性化非线性约束。