核心目标
- 搭建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++环境下可编译
- 把84行替换成
#define l_True lbool((uint8_t)0) - 把第50行注释掉。
- 在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
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
