[gecode-users] Order of branching

Christian Schulte cschulte at kth.se
Mon Dec 21 12:46:48 CET 2015


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, cschulte at kth.se
Expert Researcher, SICS, cschulte at sics.se


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Philippe
Sent: Sunday, December 20, 2015 12:56 PM
To: users at 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 at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users




More information about the users mailing list