Getting started with Interval Constraints

# Chapter 8 Getting started with Interval Constraints

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
  - Different strengths of propagation
- Simple User-defined Constraints
  - Using Reified Constraints
  - Using Propia
  - Using the element Constraint
- Searching for Feasible Solutions
- Bin Packing
  - Problem Definition
  - Problem Model - Using Structures
  - Handling an Unknown Number of Bins
  - Constraints on a Single Bin
  - Symmetry Constraints
  - Search
- Exercises