runs, infinite loops but fixed the previous segfault
fixed a bug in constraint formulation in maxmatching
fixed another bug in maxmatching