|
Abstract : |
Abstract: This paper presents an overview of CLAIRE SCHEDULE, a constraint programming library for preemptive and non-preemptive scheduling. The lack of an efficient tool to handle particular scheduling situations involving interruptible activities, time-versus-capacity tradeoffs, and activities for which capacity can vary over time, led us to develop this library, based on CLAIRE, a high-level functional and object-oriented language with advanced rule processing capabilities. The paper provides a short description of the constraint propagation techniques introduced in CLAIRE SCHEDULE and an overview of its functional interface. It also reports some benchmarks on two academic problems (the ship loading problem, and the preemptive job-shop scheduling problem) and an outline of our first operational application., |
