是否可以将预解决的问题写入文件？
Is it possible to write a presolved problem into a file?
我想将一个预先解决的问题写入一个文件。有什么办法吗？
write problem 不适合我，它给了我用 SCIP 阅读的原始问题。
上下文是我正在研究SAT问题。 SCIP 的预求解阶段减少了问题的约束和变量的数量，有效地使问题变小了一点。我想看一下预解决的问题，并将其与原始问题进行比较并进行一些观察。
是的，这很简单，只需使用write transproblem。
SCIP 交互 shell 还告诉您所有可以使用的命令，例如如果您只在 SCIP shell 中键入 write，您会看到所有可用的写入命令
我想将一个预先解决的问题写入一个文件。有什么办法吗？
write problem 不适合我，它给了我用 SCIP 阅读的原始问题。
上下文是我正在研究SAT问题。 SCIP 的预求解阶段减少了问题的约束和变量的数量，有效地使问题变小了一点。我想看一下预解决的问题，并将其与原始问题进行比较并进行一些观察。
是的，这很简单，只需使用write transproblem。
SCIP 交互 shell 还告诉您所有可以使用的命令，例如如果您只在 SCIP shell 中键入 write，您会看到所有可用的写入命令