Lib.rs
› 关键词
#
drat
#
result
#
clausal
#
checker
#
proof
#
sat-solver
不满足性
关键词
搜索
比率
用于认证 SAT 求解器不满足性结果的子句证明检查器（DRAT，DPR）
v
0.3.0
#
sat-solver
#
proof
#
checker
#
results
#
clausal
#
unsatisfiability
#
drat