cadical-sys
| Crates.io | cadical-sys |
| lib.rs | cadical-sys |
| version | 0.1.0 |
| source | src |
| created_at | 2024-10-30 23:17:29.617809 |
| updated_at | 2024-10-30 23:17:29.617809 |
| description | Unsafe system-level automatically generated bindings to the CaDiCaL SAT solver using bindgen. |
| homepage | |
| repository | |
| max_upload_size | |
| id | 1429350 |
| size | 2,846,609 |
Andrew Luka (sirandreww)