标签：tar 步骤 minisat 链接库 gz 编译 ubuntu var

核心目标

• 搭建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

标签：tar,步骤,minisat,链接库,gz,编译,ubuntu,var
来源： https://blog.csdn.net/narcissus2_/article/details/123182487

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。