Oz-Solid Geometric library for 2D and 3D constraint-based parametric solid modeling for CAD application development.