Re: [gecode-users] Multi-objective Model with Searchcombinators in Gecode

2014-03-12 Thread Guido Tack
Hi, you'd have to be a bit more specific than "does not work". Did the two objective version work? In your code the second stage does not do a "prune" when it's done like the first stage, so it will actually never switch to the third stage. Output is rather limited at the moment, the code yo

Re: [gecode-users] Multi-objective Model with Searchcombinators in Gecode

2014-03-09 Thread Mohamed Rezgui
Thank you very much for your answer. My problem is a pseudo bin packing problem. I would like to minimize a number of components of a certain sizes and minimize the number of bins. So I would like to do a lexicographic order on my multi-objective solutions. Best Regards, Mohammed REZGUI 2014-03-0

Re: [gecode-users] Multi-objective Model with Searchcombinators in Gecode

2014-03-09 Thread Guido Tack
Hi, could you clarify in what way you want to reuse the solution? Here's a combinator that first minimizes obj1, then maximizes obj2 keeping obj1 at the optimal value: annotation two_stage_bnb(var int: obj1, var int: obj2, ann: s) = let { svar int: best1 = 100, svar int: best2 = 0 } i

[gecode-users] Multi-objective Model with Searchcombinators in Gecode

2014-03-08 Thread Mohamed Rezgui
Dear Sir, I would like to know how can I use searchcombinators in my multi-objective model in FlatZinc. I have 2 objectives. I minimize the first and I reuse the solution for the minimization of the second objective. Can you give me the good syntax in FlatZinc with searchcombinators to do that ple