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.pelizz...@gmail.com>: > Why not add sum(canBeTaken) < 4 as a constraint? > > 2013/4/8 Christian Schulte <cschu...@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 _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
