Think about changing the uniqueness constraint. If the constraint on the choices is sum(choices) >= 1 instead of == 1
then do we remove all the infeasible leaving the feasible?
Usage, think about creating sudokus. You want to remove the infeasible by adding in an extra constraint.
Think about changing the uniqueness constraint. If the constraint on the choices is sum(choices) >= 1 instead of == 1 then do we remove all the infeasible leaving the feasible?
Usage, think about creating sudokus. You want to remove the infeasible by adding in an extra constraint.