Nowadays, the constraint solvers play a fundamental role in many graphical applications, including geometrical and mechanical CAD systems, layouts, user interface, and animation. These applications use constraints to conveniently describe relations between objects. Constraints are automatically maintained and satisfied by a constraints solver. So, numerical and tedious tasks are left to the sol...