CGAL 5.3 - Algebraic Kernel
Has Model Relationships