tokens: The distance constraints are similar to those used in Linear Complementarity Problem ( LCP ) formulations of dynamics , which have been used both for rigid body simulation and design for manipulation .