[gecode-users] Activity-based search and nondeterministic behaviour

[Andre Augusto Cire]

Dear all,

I wonder if you could kindly help me with a very quick question. From a
previous forum post and the manual, we know that nonmonotonic propagators
and AFC-based search may result in a nondeterministic behaviour (post here:
https://www.mail-archive.com/users@gecode.org/msg00916.html).

Just to confirm: is activity-based search deterministic?

Thank you very much,
Andre
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20140210/b742dd84/attachment.html>