Renamed heuristic_solver into regret_heuristic_solver