Optimization 是否可以将预先解决的问题写入文件？
我想将一个预先解决的问题写入一个文件。有什么办法吗Optimization 是否可以将预先解决的问题写入文件？,optimization,scip,sat,Optimization,Scip,Sat,我想将一个预先解决的问题写入一个文件。有什么办法吗 写问题不适合我，它给出了我用SCIP阅读的原始问题 背景是我正在研究SAT问题。SCIP的预解阶段减少了问题的约束和变量数量，有效地使问题变得更小。我想看一看预先解决的问题，并将其与原始问题进行比较，并做一些观察。是的，非常简单，只需使用编写transproblem SCIP interactive shell还告诉您可以使用的所有可能命令，例如，如果您只是在SCIP shell中键入write，您将看到所有可用的write命令
写问题背景是我正在研究SAT问题。SCIP的预解阶段减少了问题的约束和变量数量，有效地使问题变得更小。我想看一看预先解决的问题，并将其与原始问题进行比较，并做一些观察。是的，非常简单，只需使用
编写transproblemwrite