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