News for hackers. Stuff that matters.

A comment on A Proposal for Package Versioning in Go. Parent comment

Re:A Proposal for Package Versioning in Go by ngrilly on Tuesday March 27, 2018 @07:07AM (#16687145)
> 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

[ Parent | on HN ]
Re:A Proposal for Package Versioning in Go by the_mitsuhiko on Friday March 30, 2018 @07:06AM (#16715158)
Rust might have theoretical problems but it doesn’t matter in practice. That’s all that matters to the Rust community.
[ Parent | on HN ]