CGAL 5.4.1 - 2D Movable Separability of Sets
Has Model Relationships
Concept CastingTraits_2
Any CGAL kernel, e.g., CGAL::Exact_predicates_exact_constructions_kernel.