Linux下C++调用CryptoMiniSat出现未定义引用错误的技术求助

这个问题很常见——你已经成功安装了CryptoMiniSat，头文件也能被编译器找到，但链接器无法定位到库的实现代码，所以才会抛出一堆undefined reference错误。命令行工具能正常运行是因为它本身在编译时就已经关联了库，而你的测试程序需要手动告诉编译器要链接这个库。

快速解决：修改编译命令 #

直接在编译时添加链接库的参数即可，用-lcryptominisat5指定要链接的CryptoMiniSat库：

g++ sat_test.cpp -lcryptominisat5

如果你的库安装在非默认路径（比如自定义了CMAKE_INSTALL_PREFIX），可以额外指定库的搜索路径：

g++ sat_test.cpp -L/usr/local/lib -lcryptominisat5

执行完这个命令后，生成的可执行文件就能正常运行了。

为什么这个命令有效？ #

• -l<库名>是GCC的链接参数，用来告诉链接器需要关联指定的动态/静态库。CryptoMiniSat安装后会生成libcryptominisat5.so（动态库），按照GCC的规则，我们只需要写-lcryptominisat5（去掉前缀lib和后缀.so）。
• 你之前的g++ sat_test.cpp只完成了编译阶段（把源码转成目标文件），但没有告诉链接器需要把CryptoMiniSat的库和你的目标文件合并成可执行文件，所以所有CMSat::SATSolver相关的函数都找不到实现。

更规范的方式：用CMake构建 #

如果你的项目比较复杂，推荐用CMake来管理构建，它会自动处理库的搜索和链接：

1. 在测试代码同目录下创建CMakeLists.txt：

cmake_minimum_required(VERSION 3.10)
project(SATTest)

# 查找CryptoMiniSat库
find_package(CryptoMiniSat REQUIRED)

# 生成可执行文件
add_executable(sat_test sat_test.cpp)

# 链接CryptoMiniSat库
target_link_libraries(sat_test PRIVATE CryptoMiniSat::cryptominisat5)

2. 执行构建命令：

mkdir build && cd build
cmake ..
make
./sat_test

验证结果 #

编译成功后运行程序，你应该会看到类似这样的输出（对应代码中的第一个解）：

Solution is: 1, 0, 1

后续的断言也会正常通过，程序顺利退出。

内容的提问来源于stack exchange，提问作者yasazz345