STP求解器安装教程

thecat0r

已于 2024-06-01 20:01:16 修改

阅读量534

点赞数 9

文章标签：密码学

于 2024-03-13 20:43:28 首次发布

本文链接：https://blog.csdn.net/RChaos/article/details/136690874

版权

安装和配置Cryptominisat和STP教程

这个教程将指导你如何在Linux系统上安装和配置Cryptominisat和STP。

步骤1: 安装必要的软件包

更新并安装构建工具和必要的库：

sudo apt-get install -y build-essential
sudo apt-get install cmake bison flex libboost-all-dev python3 perl minisat
sudo apt install pip

步骤2: 安装Cryptominisat

克隆Cryptominisat的GitHub仓库：

git clone https://github.com/msoos/cryptominisat

进入Cryptominisat目录并创建构建目录：
```
cd cryptominisat
mkdir build && cd build
```
使用CMake配置构建：
```
cmake ..
```
构建Cryptominisat：
```
cmake --build .
```
安装Cryptominisat：
```
sudo cmake --install .
```
更新共享库缓存（如果需要）：
```
command -v ldconfig && sudo ldconfig
```

步骤3: 安装STP

克隆STP的GitHub仓库：
```
git clone https://github.com/stp/stp
```
初始化子模块：
```
cd stp
```
安装lit（LLVM的测试工具）：
```
pip install lit
```
创建并进入构建目录：
```
mkdir build
cd build
```
使用CMake配置构建：
```
cmake ..
```
构建STP：
```
sudo make
```
运行测试：
```
make test
```

步骤4: 更新环境变量

将STP的构建目录添加到系统路径中：
```
export PATH=$PATH:~/stp-master/build
```

根据你的实际目录结构，确保将路径中的~/stp-master/build替换为你本地的实际路径。以上步骤完成后，Cryptominisat和STP应该都已成功安装并配置好，可以开始使用了。

Ubuntu 22.04换源

sudo bash -c "cat << EOF > /etc/apt/sources.list && apt update
deb https://mirrors.tuna.tsinghua.edu.cn/ubuntu/ jammy main restricted universe multiverse
# deb-src https://mirrors.tuna.tsinghua.edu.cn/ubuntu/ jammy main restricted universe multiverse
deb https://mirrors.tuna.tsinghua.edu.cn/ubuntu/ jammy-updates main restricted universe multiverse
# deb-src https://mirrors.tuna.tsinghua.edu.cn/ubuntu/ jammy-updates main restricted universe multiverse
deb https://mirrors.tuna.tsinghua.edu.cn/ubuntu/ jammy-backports main restricted universe multiverse
# deb-src https://mirrors.tuna.tsinghua.edu.cn/ubuntu/ jammy-backports main restricted universe multiverse
deb https://mirrors.tuna.tsinghua.edu.cn/ubuntu/ jammy-security main restricted universe multiverse
# deb-src https://mirrors.tuna.tsinghua.edu.cn/ubuntu/ jammy-security main restricted universe multiverse
EOF"