Dear Andre,
Now it is not deterministic when non-detrministic propagators are around. Moreover, changing the recomputation distance will also (slightly) change the activity information recorded. Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Andre Augusto Cire Sent: Monday, February 10, 2014 6:43 PM To: users@gecode.org Subject: [gecode-users] Activity-based search and nondeterministic behaviour 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
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
