Extending the Gecode Framework with Interval Constraint Programming

Gecode is an constraint programming framework which is able to reason about relations with integers and sets, but which lacked support for relations with real-valued variables. To make conclusions about variables whose values can take real values, we can consider their possible value sets to be intervals. This book clarifies the necessary concepts needed to introduce interval reasoning functionality, and shows how the Gecode framework has been extended to add support for interval constraint programming.