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