A constraint where a number is counted is called a cardinal constraint. For example, this is the constraint we use where there are two staff members on the night shift.
Tutorial 3 shows an example of a cardinal number constraint.

The constraint type is the maximum and minimum staff number. Both are set to 2, so this instruction means

For this month,
In all staff members,
Set the night shift for two staff.

Let’s Solve .


Add a column constraint

We add a constraint that two staff in All staff are assigned after_night_shift.



Let’s Solve .


“Insert All” by right-clicking menu, is convenient for adding undisplayedconstraints automatically.

The solution below shows the constraint is working as intended.