男同士の夜勤をさせない

ペア設定で書きたくなりますが、A/B　とも同じ集合(男)だと、動作しないと思います。
これは、ペア設定ではなく、

Σ男　<=1

と制約すれば、2名以上の男性が勤務することはありません。よって、スタッフプロパティで、性別を指定し、次のように記述します。