文件名称:zchaff
介绍说明－－下载内容均来自于网络，请自行研究使用
命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver
(系统自动生成,下载前可以参看下载内容)
下载文件列表
zchaff
......\zchaff
......\......\cnf_stats.cpp
......\......\Makefile
......\......\mystl_hash.h
......\......\run_till_fix
......\......\SAT.h
......\......\sat_solver.cpp
......\......\sourceInsight_chaff
......\......\...................\_desktop.ini
......\......\zchaff_base.cpp
......\......\zchaff_base.h
......\......\zchaff_clsgen.h
......\......\zchaff_dbase.cpp
......\......\zchaff_dbase.h
......\......\zchaff_dbase.h~
......\......\zchaff_header.h
......\......\zchaff_parallel.cpp
......\......\zchaff_probe.cpp
......\......\zchaff_solver.cpp
......\......\zchaff_solver.h
......\......\zchaff_utils.cpp
......\......\zchaff_version.h
......\......\zchaff_wrapper.wrp
......\......\zcore_extract.bak
......\......\zcore_extract.cpp
......\......\zminimal.cpp
......\......\zverify_bf.cpp
......\......\zverify_df.cpp
......\......\_desktop.ini
......\zChaff 2004.11.15
......\.................\src
......\.................\...\cnf_stats.cpp
......\.................\...\libsat.a
......\.................\...\Makefile
......\.................\...\readme
......\.................\...\run_till_fix.pl
......\.................\...\SAT.h
......\.................\...\SAT_C.h
......\.................\...\sat_solver.cpp
......\.................\...\sat_solver.o
......\.................\...\thesis_lintao_zhang.pdf
......\.................\...\zchaff
......\.................\...\zchaff_base.cpp
......\.................\...\zchaff_base.h
......\.................\...\zchaff_base.o
......\.................\...\zchaff_clsgen.h
......\.................\...\zchaff_cpp_wrapper.cpp
......\.................\...\zchaff_cpp_wrapper.o
......\.................\...\zchaff_c_wrapper.cpp
......\.................\...\zchaff_c_wrapper.o
......\.................\...\zchaff_dbase.cpp
......\.................\...\zchaff_dbase.h
......\.................\...\zchaff_dbase.o
......\.................\...\zchaff_header.h
......\.................\...\zchaff_solver.cpp
......\.................\...\zchaff_solver.h
......\.................\...\zchaff_solver.o
......\.................\...\zchaff_utils.cpp
......\.................\...\zchaff_utils.o
......\.................\...\zchaff_version.h
......\.................\...\zchaff_wrapper.wrp
......\.................\...\zminimal.cpp
......\.................\...\zverify_df.cpp
......\.................\zchaff-04-11-15.udc
......\zchaff.2001.2.17.src
......\....................\zchaff
......\....................\......\asap_base.h
......\....................\......\asap_clsgen.h
......\....................\......\asap_common.h
......\....................\......\asap_cpp_wrapper.cpp
......\....................\......\asap_c_wrapper.cpp
......\....................\......\asap_dbase.cpp
......\....................\......\asap_dbase.h
......\....................\......\asap_solver.cpp
......\....................\......\asap_solver.h
......\....................\......\asap_utils.cpp
......\....................\......\Makefile
......\....................\......\README
......\....................\......\SAT.h
......\....................\......\sat_solver.cpp
......\zchaff.2001.2.17.src.tar.tar
......\zchaff.2004.5.13
......\................\zChaff
......\................\......\cnf_stats.cpp
......\................\......\Makefile
......\................\......\mystl_hash.h
......\................\......\run_till_fix
......\................\......\SAT.h
......\................\......\sat_solver.cpp
......\................\......\zchaff_base.cpp
......\................\......\zchaff_base.h
......\................\......\zchaff_clsgen.h
......\................\......\zchaff_dbase.cpp
......\................\......\zchaff_dbase.h
......\................\......\zchaff_header.h
......\................\......\zchaff_parallel.cpp
......\................\......\zchaff_probe.cpp
......\................\......\zchaff_solver.cpp
......\................\......\zchaff_solver.h
......\zchaff
......\......\cnf_stats.cpp
......\......\Makefile
......\......\mystl_hash.h
......\......\run_till_fix
......\......\SAT.h
......\......\sat_solver.cpp
......\......\sourceInsight_chaff
......\......\...................\_desktop.ini
......\......\zchaff_base.cpp
......\......\zchaff_base.h
......\......\zchaff_clsgen.h
......\......\zchaff_dbase.cpp
......\......\zchaff_dbase.h
......\......\zchaff_dbase.h~
......\......\zchaff_header.h
......\......\zchaff_parallel.cpp
......\......\zchaff_probe.cpp
......\......\zchaff_solver.cpp
......\......\zchaff_solver.h
......\......\zchaff_utils.cpp
......\......\zchaff_version.h
......\......\zchaff_wrapper.wrp
......\......\zcore_extract.bak
......\......\zcore_extract.cpp
......\......\zminimal.cpp
......\......\zverify_bf.cpp
......\......\zverify_df.cpp
......\......\_desktop.ini
......\zChaff 2004.11.15
......\.................\src
......\.................\...\cnf_stats.cpp
......\.................\...\libsat.a
......\.................\...\Makefile
......\.................\...\readme
......\.................\...\run_till_fix.pl
......\.................\...\SAT.h
......\.................\...\SAT_C.h
......\.................\...\sat_solver.cpp
......\.................\...\sat_solver.o
......\.................\...\thesis_lintao_zhang.pdf
......\.................\...\zchaff
......\.................\...\zchaff_base.cpp
......\.................\...\zchaff_base.h
......\.................\...\zchaff_base.o
......\.................\...\zchaff_clsgen.h
......\.................\...\zchaff_cpp_wrapper.cpp
......\.................\...\zchaff_cpp_wrapper.o
......\.................\...\zchaff_c_wrapper.cpp
......\.................\...\zchaff_c_wrapper.o
......\.................\...\zchaff_dbase.cpp
......\.................\...\zchaff_dbase.h
......\.................\...\zchaff_dbase.o
......\.................\...\zchaff_header.h
......\.................\...\zchaff_solver.cpp
......\.................\...\zchaff_solver.h
......\.................\...\zchaff_solver.o
......\.................\...\zchaff_utils.cpp
......\.................\...\zchaff_utils.o
......\.................\...\zchaff_version.h
......\.................\...\zchaff_wrapper.wrp
......\.................\...\zminimal.cpp
......\.................\...\zverify_df.cpp
......\.................\zchaff-04-11-15.udc
......\zchaff.2001.2.17.src
......\....................\zchaff
......\....................\......\asap_base.h
......\....................\......\asap_clsgen.h
......\....................\......\asap_common.h
......\....................\......\asap_cpp_wrapper.cpp
......\....................\......\asap_c_wrapper.cpp
......\....................\......\asap_dbase.cpp
......\....................\......\asap_dbase.h
......\....................\......\asap_solver.cpp
......\....................\......\asap_solver.h
......\....................\......\asap_utils.cpp
......\....................\......\Makefile
......\....................\......\README
......\....................\......\SAT.h
......\....................\......\sat_solver.cpp
......\zchaff.2001.2.17.src.tar.tar
......\zchaff.2004.5.13
......\................\zChaff
......\................\......\cnf_stats.cpp
......\................\......\Makefile
......\................\......\mystl_hash.h
......\................\......\run_till_fix
......\................\......\SAT.h
......\................\......\sat_solver.cpp
......\................\......\zchaff_base.cpp
......\................\......\zchaff_base.h
......\................\......\zchaff_clsgen.h
......\................\......\zchaff_dbase.cpp
......\................\......\zchaff_dbase.h
......\................\......\zchaff_header.h
......\................\......\zchaff_parallel.cpp
......\................\......\zchaff_probe.cpp
......\................\......\zchaff_solver.cpp
......\................\......\zchaff_solver.h