Library for finding graph decompositions