Claude Le Pape, Philippe Baptiste: A Constraint Programming Library for Preemptive and Non-Preemptive Scheduling. PACT 1997: 237-256