satif-minisat
| Crates.io | satif-minisat |
| lib.rs | satif-minisat |
| version | 0.2.7 |
| created_at | 2024-10-21 08:02:17.862496+00 |
| updated_at | 2025-02-19 02:06:44.672436+00 |
| description | Rust wrapper for the minisat SAT solver |
| homepage | |
| repository | https://github.com/gipsyh/minisat-rs |
| max_upload_size | |
| id | 1417080 |
| size | 254,265 |
Yuheng Su (gipsyh)
documentation
README
minisat-rs
minisat with rust binding