rustc/vendor/chalk-engine
2019-04-29 16:16:11 -07:00
..
src New upstream version 1.33.0+dfsg1 2019-04-29 16:16:11 -07:00
.cargo-checksum.json New upstream version 1.33.0+dfsg1 2019-04-29 16:16:11 -07:00
Cargo.toml New upstream version 1.33.0+dfsg1 2019-04-29 16:16:11 -07:00
README.md New upstream version 1.32.0~beta.2+dfsg1 2018-12-16 10:13:16 -08:00

The core trait solving engine used in Chalk. This engine is meant to be reused by rustc. Other projects may of course re-use it too, if you have a need, but don't expect much stability in the interface yet.