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

Reply via email to