1. CSPLib
  2. Problems
  3. prob022
  4. Data
  5. sample-essence.param

022: Bus Driver Scheduling

Download 
language Essence 1.3

letting Tasks be new type enum {a,b,c,d}

letting shifts be { {a,b}, {c,d}, {a,b,c} }