Q 入り明けで1.5日、公休数は月で決まっていて半日遅番・半日早番で、公休数を合わせるには？

 Ans.

整数カウント制約を使います。半日関係のカウントを１、その他を2として計数します。

公休数をカウントするシフト集合（公カ）を定義します。

整数計数を使います

10月の公休数が9とするとその倍の18で制約します。

以上です。