chalk-solve
| Crates.io | chalk-solve |
| lib.rs | chalk-solve |
| version | 0.98.0 |
| source | src |
| created_at | 2020-04-30 04:31:18.223647 |
| updated_at | 2024-07-07 00:27:43.388241 |
| description | Combines the chalk-engine with chalk-ir |
| homepage | |
| repository | https://github.com/rust-lang/chalk |
| max_upload_size | |
| id | 235674 |
| size | 494,934 |
Niko Matsakis (nikomatsakis)
documentation
README
A library that defines the rules that translates Rust IR to logical predicates.
See Github for up-to-date information.