fixed minor error in cmake file. removed code redundancy in heuristic solver