cadical-veripb-tracer
| Crates.io | cadical-veripb-tracer |
| lib.rs | cadical-veripb-tracer |
| version | 0.1.0 |
| created_at | 2025-05-01 16:28:21.313417+00 |
| updated_at | 2025-05-01 16:28:21.313417+00 |
| description | VeriPB proof tracer for CaDiCaL via RustSAT |
| homepage | |
| repository | https://github.com/chrjabs/scuttle |
| max_upload_size | |
| id | 1656456 |
| size | 29,697 |
Christoph Jabs (chrjabs)