[gecode-users] Stop search

[Jorge Marques Pelizzoni]

At the worst, if that's a relaxable constraint, you can search first
with sum(canBeTaken) < 4 imposed and then, only if you cannot find any
solutions, you'd search again leaving that constraint out.

2013/4/8 Jorge Marques Pelizzoni <jorge.pelizzoni at gmail.com>:
> Why not add sum(canBeTaken) < 4 as a constraint?
>
> 2013/4/8 Christian Schulte <cschulte at kth.se>
>>
>> Then why not compute all solutions with a while loop and continue until you find a solution for which sum(canBeTaken) >= 4.
>>
>>
>>
>> Best
>>
>> Christian