【Linux】Linux安装cryptominisat(Python)
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
...
原创
2018-12-24 21:47:19 ·
1236 阅读 ·
1 评论