satif-kissat
| Crates.io | satif-kissat |
| lib.rs | satif-kissat |
| version | 0.5.2 |
| created_at | 2024-10-21 07:58:22.336466+00 |
| updated_at | 2025-09-05 02:10:51.993589+00 |
| description | Rust wrapper for the kissat SAT solver |
| homepage | |
| repository | https://github.com/gipsyh/kissat-rs |
| max_upload_size | |
| id | 1417079 |
| size | 2,380,116 |
Yuheng Su (gipsyh)
documentation
README
Kissat-rs
Rust wrapper for the kissat SAT solver