Project template for creating a tool in CosyVerif.
gitter-badger / tool-graphinfo Goto Github PK
View Code? Open in Web Editor NEWThis project forked from cosyverif/tool-graphinfo
Simple tool for CosyVerif that counts the number of vertices and edges in a graph.
License: MIT License