c++ - 是否可以访问 SCIP 的 C++ 源代码？

Question

我想问一下是否可以访问 main() 程序的 C++ 源代码。我查看了目录，但找不到它。原因是我想跟踪代码以了解 SCIP 如何处理 SAT 问题，并可能修改代码以测试我面临的 SAT 问题的新想法。在 SCIP 界面中，我看到

SCIP>

我在我的 txt 文件中读取到它，它提示我使用文件阅读器。

然后我键入“cnf”。

然后我设置我的时间限制并输入“优化”来运行代码。

我想为此跟踪主要代码并打印出一些可能有用的附加信息。

标签： c++mathematical-optimizationscipsat

Answer 1

SCIP 的源代码可在此处获得。

但是，如果无法下载软件的源代码，但您确实想要它并且您拥有该软件的构建，则可以深入研究逆向工程。