summaryrefslogtreecommitdiffstats
path: root/vendor/chalk-solve-0.80.0/README.md
blob: bed41761d2180dfbe4ac85a5d363ba8bdbda3788 (plain) 
1
2
3

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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-03 08:52:06 +0000