CGAL 5.5.2 - CGAL and Solvers
Refinement Relationships