Modify BipartiteMatching.cpp
Add Mini2SAT (CDCL + VSIDS + WLs)