Crates.io | pindakaas-cadical |
lib.rs | pindakaas-cadical |
version | 0.2.0 |
created_at | 2025-07-09 01:34:18.478403+00 |
updated_at | 2025-09-25 07:55:26.377677+00 |
description | build of the Cadical SAT solver for the pindakaas crate |
homepage | https://github.com/pindakaashq/pindakaas |
repository | https://github.com/pindakaashq/pindakaas |
max_upload_size | |
id | 1743867 |
size | 1,533,011 |