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