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
