A library of functions for graphs and graph manipulation