欠員になるなら平日に

 次の制約は、早番２を今月毎日、２人を確保するソフト制約です。

残念ながら、２名のところ、１名しか確保できていない箇所が２か所あり、それが休日だったとします。

師長は、つぶやきました。「どうせなら休日ではなく、平日に欠員して欲しい」

＜実装＞

休日の優先度を上げる制約を追加します。制約を追加しても、この制約は、上の制約の特殊ケース（部分集合）です。なので上の制約と矛盾しません。矛盾しない制約は追加することができます。曜日集合とソフトレベルだけを変更、追加しています。

曜日集合は、マウスホイールボタンを押すことで、

表示させることができます。

結果は、やはり２か所でエラー数は変わりません。

しかし、休日の重みを上げているので休日でエラーは出にくくなり、望み通り、休日のエラーはなくなり、平日のエラーとなりました。