dynamic-graphs

A library for dynamic graph algorithms, and in particular dynamic connectivity.