什么是CADP？
主页 工具概述 当前状态 最近的更改
安装
如何获得CADP？ 使用情况统计
文档
常见问题解答 教程 出版物 手册页面 演示示例 维基百科
CADP社区
新闻稿 教育与培训 案例研究 研究工具 论坛
CADP资源
VLSAT基准 VLTS基准 其他资源
关于CADP
贡献者

这个VLSAT基准套件是用于科学实验和软件竞赛的逻辑公式的集合。目前有三个系列可供选择：

• 这个VLSAT-1基准套件:专门用于模型计数的SAT公式集合。

• 这个VLSAT-2基准套件:专门用于SAT求解的SAT公式集合。

• 这个VLSAT-3基准套件:专门用于SMT求解的SMT公式集合。

---

版本1.2-日期2021/08/26 18:00:19

---

返回CADP主页