这是一种非常有用的SAT解析器，速度快，结果准确。希望对大家有所帮助。
已自动扫描归档包内目录结构与文件清单
源码与文本文档支持点击「在线阅读」，二进制/媒体文件请下载压缩包后使用
1
FILE
makefile
1.9 KB
包内组件
2
FILE
zchaff_header.h
3.2 KB
包内组件
3
FILE
zchaff_solver.cpp
71.7 KB
包内组件
4
FILE
zchaff_dbase.h
8 KB
包内组件
5
FILE
zchaff_parallel.cpp
12.9 KB
包内组件
6
FILE
cnf_stats.cpp
2.9 KB
包内组件
7
FILE
zchaff_base.cpp
3.8 KB
包内组件
8
FILE
zchaff_wrapper.wrp
19.3 KB
包内组件
9
FILE
zverify_df.cpp
25.3 KB
包内组件
10
FILE
zchaff_version.h
2 KB
包内组件
11
FILE
zcore_extract.cpp
2.4 KB
包内组件
12
FILE
zverify_bf.cpp
27.4 KB
包内组件