Hi, You might have to implement a brancher on your own, check part B in MPG. There is an example both in MPG as well as with Gecode "Knights" that uses a brancher similarly to the one you sketch.
Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Philippe Sent: Sunday, December 20, 2015 12:56 PM To: users@gecode.org Subject: [gecode-users] Order of branching Hi all and happy birthday to Gecode ! Here is the question of the day: I have an IntVarArray _x and I would like to dynamically choose the order of branching. The indice of the first variable to branch is 0. Then if x[0] = j, the next variable to branch is x[j] and so on. I've checked the MPG guide, especially "Branching on integer and Boolean variables" but without success for now. Thank you for your help Philippe. _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
