Hi Kish, Yes, the default master() function should do the trick and, yes, you have to set the nogoods_limit accordingly.
Please re-read MPG on how restart-based search works: the no-goods are posted in the master space (that's why the master() function does it) and are hence re-used for each restart (as it starts from the master). If you do nothing extra (such as randomization or BAB where the constrain() function is called on the master etc) restarting after having found a solution will produce the same solution again. Cheers Christian -- Christian Schulte, Professor of Computer Science, KTH, www.ict.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Kish Shen Sent: Wednesday, September 11, 2013 9:36 PM To: users@gecode.org Subject: Re: [gecode-users] Implementing No-goods On 11/09/2013 20:14, Kish Shen wrote: > There is one more issue: are the no-goods remembered after the search > (I I guess I should clarify what I mean by this: are the no-goods remembered as no-goods (rather than the posted constraint constructed from the no-goods) after the search, i.e. if I do another search, will these old no-goods be used to construct any new no-goods for the new search? Cheers, Kish _______________________________________________ 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
