rate
| Crates.io | rate |
| lib.rs | rate |
| version | 0.3.0 |
| source | src |
| created_at | 2019-09-19 10:48:28.432109 |
| updated_at | 2020-01-01 09:37:49.280237 |
| description | Clausal proof checker (DRAT, DPR) for certifying SAT solvers' unsatisfiability results |
| homepage | |
| repository | https://github.com/krobelus/rate |
| max_upload_size | |
| id | 165939 |
| size | 141,557 |
Johannes Altmanninger (krobelus)
documentation
README
rate
Clausal proof checker (DRAT, DPR) for certifying SAT solvers' unsatisfiability results