xlsynth-prover
| Crates.io | xlsynth-prover |
| lib.rs | xlsynth-prover |
| version | 0.5.0 |
| created_at | 2025-09-18 01:08:32.949865+00 |
| updated_at | 2025-09-25 18:04:47.134582+00 |
| description | XLS formal pProvers |
| homepage | https://github.com/xlsynth/xlsynth-crate |
| repository | https://github.com/xlsynth/xlsynth-crate |
| max_upload_size | |
| id | 1844117 |
| size | 462,500 |
Chris Leary (cdleary)
documentation
https://docs.rs/xlsynth