Added heuristic relaxation and debug options