2.3 Solving a Combinatorial Problem

Our next goal is to build a constraint solver for the following problem which is given by an equation system with variables denoting integers.

A solution of this problem is an assignment of variables X, Y, Z to natural numbers which satisfies the given arithmetic constraints.

• 2.3.1 Bits of a Constraint Solver

• 2.3.2 Observing Propagation

• 2.3.3 Composing the Solver

• 2.3.4 Was this a good Example?

• 2.3.5 Questions