Geometric Constraint Solving and Applications | EKB DL