An implicit, stiffly stable numerical integration algorithm is developed and demonstrated for automated simulation of multibody dynamic systems. The concept of generalized coordinate partitioning is used to parameterize the constraint set with independent generalized coordinates. A stiffly stable, backward difference numerical integration algorithm is applied to determine independent generalized coordinates and velocities. Dependent generalized coordinates, velocities, and accelerations, as well as Lagrange multipliers that account for constraints, are explicitly retained in the formulation to satisfy all of the governing kinematic and dynamic equations. The algorithm is shown to be valid and accurate, both theoretically and through solution of a numerical example.