Q.夜勤専門スタッフが入りならば、遅出３名以上、明けならば、早出２名以上

 Ans.

ペア制約AならばBで実装します。

仕様的には、

■今月の毎日について、夜勤専門スタッフが１名以上入りならば、遅出が３名以上

■今月の毎日について、夜勤専門スタッフが１名以上明けならば、早出が２名以上

となります。演算子「または」は、１名以上（≧1)　と同じ意味になります。

以上で実装終了です。

＜Notes＞

この制約も、Default仕様に対する特殊ケースなので、矛盾しません。書き連ねることが出来ます。

ペア集合の不等式制約結果は、黄色・赤色マーキングが現在出来ません。要改善アイテムとしてリストしています。