Two computational geometry libraries: LEDA and CGAL
On the embedding phase of the Hopcroft and Tarjan planarity testing algorithm