Hello, I'm creating a rolling thin disk (rolling without slip) in the MapleSim, the model like the picture below (Fig. 1).


Fig. 1 Fig. 2
It has 5 DOF and 3 constraints (Fig. 2).
How can I define the nonholonomic constraints of this model.
I will appreciate any help.