NAUTY-PLANARG(1) - manual page | User commands

Test graphs for planarity and find embeddings or obstructions.