CGAL 5.5 - CGAL and Solvers
Refinement Relationships