Isn't this kinda how joints and other constraints (and IK) work in physics engines? I'm sure it's not trivial, but there's a large literature and existing code

Isn't this kinda how joints and other constraints (and IK) work in physics engines? I'm sure it's not trivial, but there's a large literature and existing code that helps us in figuring out how to do this in real time.