Lib.rs

›
#proof #checker #drat #dpr #clausal #proof-checker

app rate-proof-utils

子句证明（DRAT，DPR）工具

作者：Johannes Altmanninger

5 个不稳定版本

0.3.0 2020年1月1日
0.2.3 2019年10月9日
0.2.2 2019年9月30日
0.2.1 2019年9月28日
0.1.0 2019年9月19日

#63 in #checker

MIT 许可证

125KB
3K SLoC

rate-proof-utils

子句证明（DRAT，DPR）工具

依赖项

~9.5MB
~164K SLoC