cryptominisat求解器安装

最新推荐文章于 2024-08-21 08:22:47 发布

whiteQ777

最新推荐文章于 2024-08-21 08:22:47 发布

阅读量1.3k

点赞数 1

分类专栏：密码学文章标签： sat 求解器可满足性问题

本文链接：https://blog.csdn.net/Thea_1207/article/details/85240008

版权

密码学专栏收录该内容

4 篇文章 1 订阅

订阅专栏

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