用于认证 SAT 求解器不可满足性结果的子句证明检查器（DRAT，DPR）
作者：Johannes Altmanninger
在 数学 类别中排名第 921
230KB 5K SLoC
~9.5MB ~165K SLoC