Dear all, I am new to gecode and constraint programming, so sorry by advance for my questions. I'd like to stop search when in my model i have the condition sum(CanBeTaken) >=4 where CanBeTaken is a BoolVarArray.
I have read about stop objects but as i understand, a stop object cannot take a model as argument since everything is copied in Gecode, right ? Would you have a solution to stop search, depending of the current state of the model ? Cheers, Christine.
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users