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