A geometric constraint system consists of a finite set of geometric elements, such as points,
lines, and circles, along with relationships of different types such as distance, angle …

Dans la plupart des systèmes industriels de CAO (Conception Assistée par Ordinateur), les
objets géométriques que veut modéliser l'utilisateur doivent vérifier certaines propriétés …