use*_*760 3 constraint-programming minizinc
约束模型可能具有约束或向约束求解器提供提示,以通过定义求解变量的顺序来更有效地解决问题.有没有一种机制来指定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节).