布洛克
新闻
- 2015年11月27日:新bloqer发布(版本37)带有BLE和小错误修复
- 新bloqer版本(版本35)带有QRAT证明和API
概述
Bloqqer是量化布尔公式的预处理器。它实现以下预处理技术:
- 量化文字消除
- 量化阻塞子句消除
- 量化承保冻结条款消除
- 量化覆盖重言式消除
- 量化隐藏重言式检测
- 量化隐藏阻塞子句消除
- 沉没
- 可变膨胀率
- 等效性检测
下载
[布洛克-037-8660cb9-151127.tar.gz] [bloqer-035-f899eab-141029.tar.gz公司] [bloqer-031-7a176af-110509.tar.gz公司](CADE'11版本)
有关更多信息,请参阅附带的自述文件文件或运行--help选项。
谈话幻灯片可以找到我们在CADE'11上的相关演讲幻灯片在这里.实验结果查找更多信息有关的详细信息实验在我们的CADE’11论文以及日志文件. |