Sign in
android
/
toolchain
/
rustc
/
refs/heads/main
/
.
/
vendor
/
chalk-solve-0.98.0
/
README.md
blob: bed41761d2180dfbe4ac85a5d363ba8bdbda3788 [
file
] [
log
] [
blame
] [
view
] [
edit
]
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.
