Features
Patterns
There are two types of patterns, 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.
Single day pattern examples
preferrably no late after an early shift
Multi day pattern examples
preferred combo of early, late, late shift
no early after late shift