Add balanced heuristic sovler to main.