在MiniZinc（windows IDE）中如何解决： flatzinc：error：`var float＆＃39;类型的变量FD解算器后端不支持。 我意识到我需要一个不同的解算器，但找不到安装一个的程序，而且首选项dlg似乎不起作用。此外，不清楚哪个解算器可以工作。
答案 0 :(得分：3)
G12 / fd求解器不支持浮点决策变量。你在＆＃34; Solver＆＃34;中找到了G12 MIP求解器吗？清单？如果是这样，试试看它是否可以解决模型。有一个帮助文本（＆＃34;帮助，帮助...＆＃34;）可能会帮助您添加解算器。
但是，如果它是一个非线性模型，那么G12 / mip可能会抱怨，你必须尝试另一个求解器。 Gecode和JaCoP对非线性浮点模型有一些支持。
在MiniZinc 2.0中，它可能适用于G12 / mip和非线性模型，如果＆＃34; -G linear＆＃34;使用标志：mzn2fzn然后将线性化非线性约束。