Text this: Design and Implementation of a White-Box Geometric Constraint Solver.