お客さまが開発したプロジェクトを見てー8

 次の青部パターンは、冗長です。

そもそも、当直－当直明けは、制約1－２番目の制約で、必ず対になっているので、パターンを拾って回数制約する必要はありません。当直だけで十分です。（パターンで行うとソルバに余計な負担がかかってしまいます。）

従い、次のように記述した方がよいでしょう。