CGAL 5.6.2 - Linear and Quadratic Programming Solver
Has Model Relationships