smtif-bitwuzla
| Crates.io | smtif-bitwuzla |
| lib.rs | smtif-bitwuzla |
| version | 0.1.0 |
| created_at | 2025-12-07 06:31:05.310784+00 |
| updated_at | 2025-12-07 06:31:05.310784+00 |
| description | Rust wrapper for the Bitwuzla SMT solver |
| homepage | |
| repository | https://github.com/gipsyh/bitwuzla-rs |
| max_upload_size | |
| id | 1971241 |
| size | 34,131,477 |
Yuheng Su (gipsyh)