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