约束模型可能具有约束或向约束求解器提供提示,以通过定义求解变量的顺序来更有效地解决问题.有没有一种机制来指定MiniZinc或FlatZinc中需要解决的变量的顺序？
constraint-programming minizinc
constraint-programming ×1
minizinc ×1