Solves the maximum matching problem using Gurobi's Integer linear programming solver: handles a sparse graph with 200,000 edges like a champ.
rjhunjhunwala/MaxMatchingIlp
Solve the maximum matching problem using an ILP formulation. Who needs fancy algorithms when you have a 3sat oracle?
Python