Geometric computation foundations for design

Geometric constraint solving is constraint satisfaction in a computational geometry setting, which has primary applications in computer aided design.
A problem to be solved consists of a given set of geometric elements and a description of geometric constraints between the elements, which could be non-parametric or parametric.
The goal is to find the positions of geometric elements in 2D or 3D space that satisfy the given constraints, which is done by dedicated software components called geometric constraint solvers.