Extending the Gecode Framework with Interval Constraint Programming

Type