A constraint solver to define correctly dimensioned and overdimensioned parts | Publicación