【发布时间】：2020-01-28 10:12:10
【问题描述】：
我想问一下是否可以访问 main() 程序的 C++ 源代码。我查看了目录，但找不到它。 原因是我想跟踪代码以了解 SCIP 如何处理 SAT 问题，并可能修改代码以测试我面临的 SAT 问题的新想法。 在 SCIP 界面，我看到了
SCIP>
我在我的 txt 文件中读取的内容，它提示我使用文件阅读器。
然后我输入“cnf”。
然后我设置我的时间限制并输入“优化”来运行代码。
我想为此跟踪主要代码并打印出一些可能有用的附加信息。
【问题讨论】：
-
这对你来说可能也很有趣：stackoverflow.com/questions/59557794/…
-
我猜他知道另一个问题和你的答案，因为他首先问了这个问题；）
-
糟糕，我没有意识到，对此感到抱歉。
-
感谢您的回答。我已编辑我的查询以使其更清晰。
标签： c++ mathematical-optimization scip sat