1 2 3 4 5 6 7 8 9 10 11 12 13 14 | language ESSENCE 1.2.0 $ prob022.essence: Bus Driver Scheduling $ Problem details available at http://www.csplib.org/Problems/prob022/ $ 05 September 2007 $ given Tasks new type enum , shifts : set of set of Tasks find sched : partition from Tasks minimising | parts (sched)| such that forAll s in parts (sched) . s in shifts |