sat2021:CDCL SAT求解器中基于哈希的预处理 源码

sat2021 该存储库包含我提交给SAT ​​2021会议的代码,这是我的出版物“ SAT求解器中基于哈希的预处理和处理技术”的一部分。 我提供了三种处理技术的实现:本文详细介绍了包含,消除子句消除和有界变量消除。 这些方法已在2020年SAT竞赛基准上进行了测试,您可以从下载(解压缩后约为30GB,因此我在此处未包括)。 如果您想复制本文的实验,请从下载Main Track基准数据集,并将其放置在文件夹/ p​​ath_to_repository / sat2021 / build / test中。 制作说明: 光盘制作cmake .. cmake --build --config发布 使用以下命令运行: ./星期六