chalk-engine-0.7.1 has been yanked.
Visit the last successful build:
chalk-engine-0.104.0
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.