CGAL 5.4 - Linear and Quadratic Programming Solver
Has Model Relationships