Drake
Drake C++ Documentation
A stable discretization strategy
Multibody Kinematics and Dynamics » Multibody Dynamics Constraints

To be written.

Refer to https://github.com/RobotLocomotion/drake/pull/7055 for a preview.