This crate aims to test the resolution of Cargo‘s resolver. It implements a SAT solver to compare with resolution of Cargo’s resolver.
This ensures that Cargo's dependency resolution is proven valid by lowering to SAT problem.
This crate is maintained by the Cargo team, primarily for use by Cargo and not intended for external use (except as a transitive dependency). This crate may make major changes to its APIs or be deprecated without warning.
The Cargo's resolver is very sensitive to what order it tries to evaluate constraints. This makes it incredibly difficult
to be sure that a handful of tests actually covers all the important permutations of decision-making. The tests not only needs
to hit all the corner cases, it needs to try all of the orders of evaluation. So we use fuzz testing to cover more permutations.