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.

X, Y, Z \in \{1,\ldots,7\} \\
X + Y = 3*Z \\
X - Y = Z 

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

Denys Duchier, Claire Gardent and Joachim Niehren
Version 1.2.4 (20020829)