Constraint based geometry is a core technology at Saltire.
This technology base has been developed under two National Science Foundation SBIR grants. We have over 8 years of experience developing algorithms to build additional functionality on top of geometric constraints. Functionality includes kinematics, rigid body dynamics, tolerance analysis, carpet laying and symbolic geometry. There are two common approaches to geometry, constructions and constraints. The current terminology has its roots in the ancient part of geometry concerned with the creation of geometrical entities using only a ruler and compass.