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。