CGAL 5.1 - Algebraic Kernel
Has Model Relationships