CGAL 5.2.1 - 2D Polygon Partitioning
Is Model Relationships