** Geometric Constraint Satisfaction:**

- Given: a set of geometric bodies or
*geoms* - Given:
*constraints*among the bodies - Find:
*configuration*of the bodies that satisfies all the constraints.

Solutions to this problem are needed in mechanical CAD (computer-aided design).