Graph-tool offers a lot of tools for assessing a graph: https://graph-tool.skewed.de/static/doc/topology.html. However, I can't find any method for calculating the girth, i.e., the shortest cycle in the graph.
Do you know if there exists an appropriate method or if I can use the existing ones to come up with an efficient calculation?