查看会员资料
用 户 名：l*****
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
zchaff.2004.11.15
- ZChaff SAT solver是一个验证电路节点蕴涵关系的工具，它需要将电路描述转换成合取范式格式(Conjunctive Normal Form，CNF)。-ZChaff SAT solver is a test circuit nodes contain relationship tool, it needs to transform circuit descr iption into Conjunctive Normal Form format (Conjunctive Normal