文件名称:zchaff.2004.5.13.tar
-
所属分类：
- 标签属性：
- 上传时间：2012-11-16
-
文件大小：67.48kb
-
已下载：0次
-
提 供 者：
-
相关连接：无下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
这是一种很好的SAT解析器。通过它，我们可以判断SAT问题是否有解，并且在有解的情况下能找到解-This is a good SAT resolver. Through it, we can determine whether the SAT problem to solve, and in the case of solvability can find solutions
(系统自动生成,下载前可以参看下载内容)
下载文件列表
zChaff/
zChaff/Makefile
zChaff/SAT.h
zChaff/cnf_stats.cpp
zChaff/mystl_hash.h
zChaff/zminimal.cpp
zChaff/sat_solver.cpp
zChaff/zcore_extract.bak
zChaff/zchaff_base.cpp
zChaff/zchaff_base.h
zChaff/zcore_extract.cpp
zChaff/zchaff_clsgen.h
zChaff/zchaff_solver.cpp
zChaff/zchaff_dbase.cpp
zChaff/zchaff_dbase.h
zChaff/zchaff_header.h
zChaff/zchaff_parallel.cpp
zChaff/zchaff_probe.cpp
zChaff/zchaff_solver.h
zChaff/zchaff_utils.cpp
zChaff/zchaff_version.h
zChaff/zchaff_wrapper.wrp
zChaff/zverify_bf.cpp
zChaff/zverify_df.cpp
zChaff/run_till_fix
zChaff/Makefile
zChaff/SAT.h
zChaff/cnf_stats.cpp
zChaff/mystl_hash.h
zChaff/zminimal.cpp
zChaff/sat_solver.cpp
zChaff/zcore_extract.bak
zChaff/zchaff_base.cpp
zChaff/zchaff_base.h
zChaff/zcore_extract.cpp
zChaff/zchaff_clsgen.h
zChaff/zchaff_solver.cpp
zChaff/zchaff_dbase.cpp
zChaff/zchaff_dbase.h
zChaff/zchaff_header.h
zChaff/zchaff_parallel.cpp
zChaff/zchaff_probe.cpp
zChaff/zchaff_solver.h
zChaff/zchaff_utils.cpp
zChaff/zchaff_version.h
zChaff/zchaff_wrapper.wrp
zChaff/zverify_bf.cpp
zChaff/zverify_df.cpp
zChaff/run_till_fix
本网站为编程资源及源代码搜集、介绍的搜索网站，版权归原作者所有！ 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.