文件名称:zchaff.2004.11.15
- 所属分类：
- 其他嵌入式/单片机内容
- 资源属性：
- [C/C++] [源码]
- 上传时间：
- 2013-05-02
- 文件大小：
- 85kb
- 下载次数：
- 0次
- 提 供 者：
- l***
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
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 Form, CNF).
(系统自动生成,下载前可以参看下载内容)
下载文件列表
zchaff.2004.11.15
.................\1
.................\.\1.cbp
.................\.\1.depend
.................\.\1.layout
.................\.\bin
.................\.\...\Debug
.................\.\main.cpp
.................\.\obj
.................\.\...\Debug
.................\.\...\.....\doctor
.................\.\...\.....\......\ISCAS85
.................\.\...\.....\......\.......\circuitfpa
.................\.\...\.....\......\.......\..........\circuit.o
.................\2
.................\.\2.cbp
.................\.\2.layout
.................\.\main.cpp
.................\3
.................\.\3.cbp
.................\.\3.layout
.................\.\main.cpp
.................\zchaff
.................\Zchaff SAT reader.docx
.................\zchaff\bin
.................\......\...\Debug
.................\......\cnf_stats.cpp
.................\......\main.cpp
.................\......\Makefile
.................\......\obj
.................\......\...\Debug
.................\......\README
.................\......\run_till_fix.pl
.................\......\SAT.h
.................\......\sat_solver.cpp
.................\......\zchaff.cbp
.................\......\zchaff.layout
.................\......\zchaff_base.cpp
.................\......\zchaff_base.h
.................\......\zchaff_clsgen.h
.................\......\zchaff_cpp_wrapper.cpp
.................\......\zchaff_dbase.cpp
.................\......\zchaff_dbase.h
.................\......\zchaff_header.h
.................\......\zchaff_solver.cpp
.................\......\zchaff_solver.h
.................\......\zchaff_utils.cpp
.................\......\zchaff_version.h
.................\......\zminimal.cpp
.................\......\zverify_df.cpp