Implementing Hungarian algoritm. (We need to add a parser part for
Disjoint groups, add locals, and test this)