An Efficient Implementation of Edmonds` Algorithm for Maximum