CGAL 5.1.5 - CGAL and Solvers
Refinement Relationships