PyPI recent updates for dratify https://pypi.org/project/dratify/ Recent updates to the Python Package Index for dratify en 0.1.2 https://pypi.org/project/dratify/0.1.2/ Check DRAT/DRUP proofs of unsatisfiability inside your Python process. Zero dependencies, optional Rust accelerator. Sat, 29 Aug 2026 17:13:08 GMT 0.1.1 https://pypi.org/project/dratify/0.1.1/ Check DRAT/DRUP proofs of unsatisfiability inside your Python process. Zero dependencies, optional Rust accelerator. Sat, 29 Aug 2026 15:47:12 GMT 0.1.0 https://pypi.org/project/dratify/0.1.0/ Check DRAT/DRUP proofs of unsatisfiability inside your Python process. Zero dependencies, optional Rust accelerator. Sat, 29 Aug 2026 15:32:16 GMT