Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers