<< 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 >> |