Implements algorithms for manipulating graphs.