pindakaas-kissat
| Crates.io | pindakaas-kissat |
| lib.rs | pindakaas-kissat |
| version | 0.2.1 |
| created_at | 2025-07-09 01:35:11.037341+00 |
| updated_at | 2025-11-26 05:13:47.705807+00 |
| description | build of the Kissat SAT solver for the pindakaas crate |
| homepage | https://github.com/pindakaashq/pindakaas |
| repository | https://github.com/pindakaashq/pindakaas |
| max_upload_size | |
| id | 1743871 |
| size | 1,162,389 |
Jip J. Dekker (Dekker1)