A library that defines the rules that translates Rust IR to logical predicates. See [Github](https://github.com/rust-lang/chalk) for up-to-date information.