CGAL 5.2.1 - CGAL and Solvers
Refinement Relationships