chalk-solve
| Crates.io | chalk-solve |
| lib.rs | chalk-solve |
| version | 0.104.0 |
| created_at | 2020-04-30 04:31:18.223647+00 |
| updated_at | 2025-08-06 20:54:54.71343+00 |
| description | Combines the chalk-engine with chalk-ir |
| homepage | |
| repository | https://github.com/rust-lang/chalk |
| max_upload_size | |
| id | 235674 |
| size | 522,148 |
(rust-lang-owner)
documentation
README
A library that defines the rules that translates Rust IR to logical predicates.
See Github for up-to-date information.