Finds maximum matchings in undirected graphs.