SINGLE_DAY
that spans shifts on a single day and MULTI_DAY
that spans shift on multiple days. The satisfiability clause ensures either a PREFERRED
(soft requirement) or a PROHIBITED
(hard restriction) constraint. The elements are the sequences based on shift tags.