Dear all, does Gecode use a priority queue for the propagators which are fired when a variable becomes assigned etc or are they executed in the order they're enqueued?
Thanks, Lars _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
