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
