<< Prev | - Up - | Next >> |

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.

<< Prev | - Up - | Next >> |

Denys Duchier, Claire Gardent and Joachim Niehren

Version 1.2.4 (20020829)