The Interval Constraints (IC) library provides a constraint solver which works with both integer and real interval variables. This chapter provides a general introduction to the library, and then focusses on its support for integer constraints. For more detail on IC’s real variables and constraints, please see Chapter 9.

- Using the Interval Constraints Library
- Structure of a Constraint Program
- Modelling
- Built-in Constraints
- Global constraints
- Simple User-defined Constraints
- Searching for Feasible Solutions
- Bin Packing
- Exercises