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 <[email protected]>: > Why not add sum(canBeTaken) < 4 as a constraint? > > 2013/4/8 Christian Schulte <[email protected]> >> >> Then why not compute all solutions with a while loop and continue until you >> find a solution for which sum(canBeTaken) >= 4. >> >> >> >> Best >> >> Christian _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
