Minizinc：需要关于MiniZinc配置中出现的每个解算器的简要说明吗？

Question

我发现MiniZinc配置中出现了几个求解器。那么每个求解器的优势是什么？每个soler的经典例子有哪些问题？谢谢。 solvers in MiniZinc Configuration

Answer 1

MiniZinc团队所知的所有MiniZinc求解器，包括束中的那些，都在MiniZinc网站的software page上进行了描述。寻找标题“FlatZinc实现”。

请注意，大多数这些求解器都是完全求解环境，而且并非所有求解器的功能都可以在MiniZinc环境中原生使用。