sparsifier An implementation of the semi-streaming insert-only spectral sparsification algorithm described in "A framework for analyzing resparsification algorithms" by Rasmus King, Jakub Pachocki, Richard Peng, and Sushant Sachdeva.