图论用的软件有以下几种：

Graph.exe

描述：Graph.exe是一个图论算法软件，用于执行各种图论算法，如最短路径、最小生成树、网络流等。用户可以输入图的结构和权重，然后选择所需的算法进行计算，最后得到相应的结果。

Graph-tool

描述：Graph-tool是一个用C++编写的图论建模工具，性能优越，并自带可视化功能。虽然安装过程较为复杂，但安装完成后，其强大的功能和优秀的性能使其成为图论爱好者的首选工具之一。

Greuler

描述：Greuler是一个直观的图形理论可视化工具，用于探索图论之美。它可以帮助用户将复杂的数据关系和网络结构以直观明了的方式展现出来。

MATLAB图论通用工具箱

描述：这是一个专门针对图论的MATLAB工具集，包含了一系列用于创建、分析和可视化图论模型的函数。它可以求解的算法包括最短路径、最小生成树、拓扑排序、关键路径、最大流、最小费用最大流和二部图的最大匹配等。

networkx

描述：networkx是一个Python库，用于图论分析和可视化。它不仅可以分析数据，还能绘制漂亮的图。安装和使用都非常简单，是Python用户进行图论研究的必备工具。

Ubigraph

描述：Ubigraph是一个图论动画生成软件，可以快速生成图论模型的图形和动画，直观地展示出各种图论模型的三维结构，演示各种图论算法的过程，非常适合用于研究和教学。

这些软件各有特点，用户可以根据自己的需求和偏好选择合适的工具进行图论学习和研究。对于Python用户，networkx结合matplotlib是一个非常好的选择，而C++用户则可能会更倾向于使用Graph-tool。