See the Sage wiki page http://www.sagemath.org:9001/graph(or http://sage-wiki.axiom-developer.org/graph) for an excellent survey of exisiting graph theory software.