I am new to constraint programming and try to figure out how to do a "at least n" constraint.
For example I have int variables x, y and z all within a range of 0 to 5.
Now I want all solutions in which at least 2 of the variables are between 2 and 3.
So something like a "sum of given conditions >= 2"
How would I do this in python and ideally with Google's OR-Tools?