rate-proof-utils
| Crates.io | rate-proof-utils |
| lib.rs | rate-proof-utils |
| version | 0.3.0 |
| created_at | 2019-09-19 10:52:33.394147+00 |
| updated_at | 2020-01-01 09:41:00.869723+00 |
| description | Utilities for clausal proofs (DRAT, DPR) |
| homepage | |
| repository | https://github.com/krobelus/rate |
| max_upload_size | |
| id | 165941 |
| size | 39,145 |
Johannes Altmanninger (krobelus)
documentation
README
rate-proof-utils
Utilities for clausal proofs (DRAT, DPR)