Splits the content of a file into lines, for the line endings of Windows (\r\n) and of Unix (\n). The lines of a trace file are also trimmed.
The kind of file: a trace file, the instance information (.csv) or the best known bounds (.solu).
The text of the file.
Splits the content of a file into lines, for the line endings of Windows (\r\n) and of Unix (\n). The lines of a trace file are also trimmed.