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.