The very recent CAD paradigm of direct modeling gives rise to the need of processing 3D geometric constraint systems defined on boundary representation (B-rep) models. The major issue of processing such variational B-rep models (in the STEP format) is that free motions of a well-constrained model…