An implementation of Edmonds' Blossom algorithm