The edge addition planarity suite of graph algorithms
https://github.com/graph-algorithms/edge-addition-planarity-suite/