Edgitor

A vertex-edge graph editor for graph theory illustration.