文件名称:zchaff.2008.10.12
- 所属分类：
- Linux/Unix编程
- 资源属性：
- [C/C++] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 62kb
- 下载次数：
- 0次
- 提 供 者：
- 张*
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
这是一种非常有用的SAT解析器，速度快，结果准确。希望对大家有所帮助。-This is a very useful SAT resolver, fast, accurate and reliable. We hope to be helpful.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
zchaff
......\cnf_stats.cpp
......\Makefile
......\README
......\run_till_fix.pl
......\SAT.h
......\sat_solver.cpp
......\zchaff_base.cpp
......\zchaff_base.h
......\zchaff_clsgen.h
......\zchaff_dbase.cpp
......\zchaff_dbase.h
......\zchaff_header.h
......\zchaff_solver.cpp
......\zchaff_solver.h
......\zchaff_utils.cpp
......\zchaff_version.h
......\zchaff_wrapper.wrp
......\zminimal.cpp
......\zverify_df.cpp
......\cnf_stats.cpp
......\Makefile
......\README
......\run_till_fix.pl
......\SAT.h
......\sat_solver.cpp
......\zchaff_base.cpp
......\zchaff_base.h
......\zchaff_clsgen.h
......\zchaff_dbase.cpp
......\zchaff_dbase.h
......\zchaff_header.h
......\zchaff_solver.cpp
......\zchaff_solver.h
......\zchaff_utils.cpp
......\zchaff_version.h
......\zchaff_wrapper.wrp
......\zminimal.cpp
......\zverify_df.cpp