约束模型可能有限制或向约束求解器提供提示，以通过定义求解变量的顺序来更有效地解决问题。是否有一种机制可以指定 MiniZinc 或 FlatZinc 中变量需要求解的顺序？
最佳答案
int_search/4 用于搜索注释，即用于说明涉及的变量和变量/值策略。
例子:
solve :: int_search(q, first_fail, indomain_min, complete) satisfy;
在 MiniZinc 教程(第 5.2 节)中查看更多相关信息: http://www.minizinc.org/downloads/doc-latest/minizinc-tute.pdf FlatZinc 规范有不同策略的详细列表:http://www.minizinc.org/downloads/doc-1.6/flatzinc-spec.pdf(第 5.6.1 节)。
关于constraint-programming - Minizinc:可变顺序，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/22830637/