- yED - The closest thing to what I was looking for, but it's mainly for drawing graphs - which come out kind of choppy anyway.
- PIGALE - Very promising but also very limited. I like how it tells me if the graph is bipartite, and that it can color the nodes proper. And I don't like how it's ultimately horribly useless.
- GraphViz - Apparently popular visualisation tool, with automatic layout. I tried neato in particular, and didn't like it too much. Completely lacks in analytical features of any kind.
Others are hardly worth a mention. Some haven't been developed since cold war, while most focus on whatever UML is. To recap - I want to know if there exists a graph-theoretic software package that can help me doodle out some of my ideas. I want it to be able to compute graph properties, generate classes of graphs (say all possible simple graphs on n-nodes) and act as a guide in my studies.