核心目标

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