cryptominisat求解器安装

cryptominisat的github地址为cryptominisat

其中Python使用cryptominisat的安装步骤如下

sudo apt-get install build-essential cmake
sudo apt-get install zlib1g-dev libboost-program-options-dev libm4ri-dev libsqlite3-dev
sudo apt-get install python3-setuptools python3-dev
tar xzvf cryptominisat-version.tar.gz
cd cryptominisat-version
mkdir build && cd build
cmake …
make
sudo make install
sudo ldconfig

其中的python3-setuptools python3-dev对应python3，如果要安装python2的版本则改为python-setuptools python-dev
如果python3 python2都存在，可能会存在一个问题——你想要编译出对应python2的版本，但是cmake编译时检测到的是python3，所以编译用的也是python3，此时切换python2为默认python似乎没用，我的解决办法是删除/usr/bin/下的python3，再执行cmake，完成安装cryptominisat后可再重新安装python3

来源：https://blog.csdn.net/qq_24342739/article/details/85239613