我想为卫星求解器编写一个 dimacs cnf 格式的文件。每行只包含几个以 0 结尾的数字。例如，这样的文件可能如下所示：
1 2 0
3 -2 1 0
5 3 -1 6 0
1 0
我遇到的问题是，我无法一次写出所有行，因为总共 我要写数百万个。出于这个原因，我想写 每一行（可能是一些像样的常量的块），然后从内存中删除数据 从那时起，信息就已经在文件中了。
由于要写的行数很多，我也希望这个过程尽可能快，虽然我意识到无论如何它可能会很慢。
也许值得注意的是，我只需要追加行，而不是修改过去的信息。 （或者，仅用于预先添加行，顺序无关紧要）。
提前致谢，并为这样一个菜鸟问题道歉。