# dyna3 Constraint-based three-dimensional dynamic geometry