【发布时间】：2020-03-19 10:03:00
【问题描述】：
我想将预先解决的问题写入文件。有什么办法吗？
write problem 不是为我做的，它给了我原来用 SCIP 读到的问题。
背景是我正在研究 SAT 问题。 SCIP 的预求解阶段减少了问题的约束和变量的数量，有效地使问题变得更小。我想看看预先解决的问题，并将其与原始问题进行比较并进行一些观察。
【问题讨论】：
标签： optimization scip sat
【发布时间】：2020-03-19 10:03:00
【问题描述】：
是的，很简单，只需使用write transproblem。
SCIP 交互式 shell 还会告诉您可以使用的所有可能命令，例如如果你只是在 SCIP shell 中输入write，你会看到所有可用的写命令
【讨论】：