Linux系统下安装SAT求解器：Cryptominisat

最新推荐文章于 2025-04-02 09:46:55 发布

无理的猫

最新推荐文章于 2025-04-02 09:46:55 发布

阅读量1.6k

点赞数 1

CC 4.0 BY-SA版权

分类专栏： SAT/SMT

本文链接：https://blog.csdn.net/m0_37756072/article/details/116994898

SAT/SMT 专栏收录该内容

1 篇文章

订阅专栏

本文介绍了如何在Linux系统下安装Cryptominisat，并详细解释了安装步骤。此外还提供了设置环境变量的方法以便于调用Cryptominisat5。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

参考网址：https://github.com/stp/stp
stp的默认求解器是minisat，而Cryptominisat是stp的另外一个求解器。
在安装STP环境后可采取下面的方式安装Cryptominisat，

step1：Cryptominisat在linux系统下的安装流程如下：

$ git clone https://github.com/msoos/cryptominisat
$ cd cryptominisat
$ mkdir build && cd build
$ cmake ..
$ cmake --build .
$ sudo cmake --install .
$ command -v ldconfig && sudo ldconfig

step2：添加环境变量（类似Gurobi在linux系统下安装后添加环境变量的方法）
/home/****/cryptominisat/build/cryptominisat5
添加的路径是cryptominisat5的绝对路径（图示的图标的路径），使得可以更便捷的调用cryptominisat5。
在这里插入图片描述