A Declarative Approach to a 2d Variational Modeler

The goal of this paper is to present the interest to define a geometric declarative modeler according to the needs of the associated solver. The modeler presented will seem, in a first view, of a complex architecture. A more detailed description of the modeler allows the presentation of the geometric constraints management. The interest of such approach is finally illustrated by the solver presentation. This solver, divided in three modules, allows a reliable and fast resolution of the geometric problems. Indeed, each module has been defined to optimize the resolution in terms of time and robustness.