> in practice, Cargo doesn't even use a SAT solver anyway, so they didn't do their homework It's not fair to accuse people of not doing their homework when the

> in practice, Cargo doesn't even use a SAT solver anyway, so they didn't do their homework It's not fair to accuse people of not doing their homework when they actually are... Russ Cox published "Version SAT" in December 2016. [1] The article specifically mentions "Rust's Cargo" which "uses a basic backtracking solver". [1] https://research.swtch.com/version-sat https://research.swtch.com/version-sat