ubuntu 20.04 minisat静态链接库环境搭建

本文主要是介绍ubuntu 20.04 minisat静态链接库环境搭建，对大家解决编程问题具有一定的参考价值，需要的程序猿们随着小编来一起学习吧！

核心目标

• 搭建minisat环境。

步骤1：下载文件夹

cd <目标文件夹>
wget http://minisat.se/downloads/minisat-2.2.0.tar.gz
tar -zxvf minisat-2.2.0.tar.gz

步骤2：修改SolverTypes.h文件以保证在新的g++环境下可编译

1. 把84行替换成#define l_True lbool((uint8_t)0)
2. 把第50行注释掉。
3. 在58行上方添加inline Lit mkLit (Var var) { bool sign = false; Lit p; p.x = var + var + (int)sign; return p; }。

步骤3：编译

• 编译静态链接库
  • MROOT=../ make libr
• 编译全部
  • MROOT=../ make install

这篇关于ubuntu 20.04 minisat静态链接库环境搭建的文章就介绍到这儿，希望我们推荐的文章对大家有所帮助，也希望大家多多支持为之网！