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: [email protected] [mailto:[email protected]] On Behalf Of Andre Augusto Cire Sent: Monday, February 10, 2014 6:43 PM To: [email protected] 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/[email protected]/msg00916.html). Just to confirm: is activity-based search deterministic? Thank you very much, Andre
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
