Obviously I disagree with this criticism of Cargo. Some may call it “SAT solving”; I call it “making it easy to keep dependencies up to date”. Not allowing users to document incompatibilities doesn’t actually *solve* anything; it just makes things that should be easy hard.https://twitter.com/_rsc/status/1201943365358686208 …
-
-
does it even happen in practice though? I mean, are the solver queries difficult enough that mysterious failures happen?
-
I've never run into these with Cargo, but I've run into these quite a bit with opam. They're common enough that some company runs an HTTP endpoint with aspcud, which works much better than opam's built-in SAT solver.
- 1 more reply
New conversation -
-
-
I think you meant “SAT”?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.