GitHub repository: CosyVerif/tool-graphinfo
Description: Simple tool for CosyVerif that counts the number of vertices and edges in a graph.