3 ms·

That hasn't been our experience with Cargo. It's always been fast. As a colleague of mine pointed out, the lockfile makes the solving a non-issue in practice a

• steveklabnik 7y ago
  To be clear, Cargo doesn't actually use a SAT solver, it's depth-first search with some heuristics. Without knowing more about how Dart's solver worked, it's hard to directly compare. https://github.com/rust-lang/cargo/blob/368333c20702793477236e393d9e2cfa0de9cd8a/src/cargo/core/resolver/mod.rs https://github.com/rust-lang/cargo/blob/368333c2070279347723...