[gecode-users] Stop search

[christine bouzant]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20130406/9eab3272/attachment.html>