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
