PyPI page Home page
Author:
Carlo Perassi
Summary:
Check DRAT/DRUP proofs of unsatisfiability inside your Python process. Zero dependencies, optional Rust accelerator.
Latest version:
0.1.7
Downloads last day:
3
Downloads last week:
149
Downloads last month:
608
7-day smoothing