CGAL 5.1.3 - CGAL and Solvers
Refinement Relationships