/MaxMatchingIlp

Solve the maximum matching problem using an ILP formulation. Who needs fancy algorithms when you have a 3sat oracle?

Primary LanguagePython

MaxMatchingIlp

Solves the maximum matching problem using Gurobi's Integer linear programming solver: handles a sparse graph with 200,000 edges like a champ.