satif-cadical
| Crates.io | satif-cadical |
| lib.rs | satif-cadical |
| version | 0.2.2 |
| created_at | 2024-12-07 04:27:13.451908+00 |
| updated_at | 2025-09-05 01:48:25.435397+00 |
| description | Rust wrapper for the CaDiCaL SAT solver |
| homepage | |
| repository | https://github.com/gipsyh/cadical-rs |
| max_upload_size | |
| id | 1475206 |
| size | 2,924,337 |
Yuheng Su (gipsyh)