[Boost-users] Counting all cliques of a given size in an undirected graph