search - seq_search([ann1, ann2]) 和 ann1::ann2 之间的区别？

Question

这两种在 Minizinc 中进行搜索的方法有什么区别？

第一个:

solve :: seq_search([ann1, ann2]) satisfy;

第二个:

solve :: ann1 :: ann2 satisfy; 

Answer 1

最大的区别是使用单独的注释并不能保证顺序。

使用::ann1::ann2可能首先使用ann2或ann1，生成的顺序甚至可能不一样FlatZinc 正在发送求解器。

::seq_search([ann1, ann2]) 确实保证顺序是第一个 ann1 然后是 ann2。