Started removing memory leaks from exact_solver.