Matthieu Pizenberg
Matthieu Pizenberg
> I've also already used this branch in my Conda package solver and it works like a charm there! Awesome! I can't review this weekend but I'll have some time...
We are mostly interested in the iterating over versions to pick one, which is done in `PartialSolution::pick_version`. Maybe using a `impl Iter` in that function would make more sense. Which...
> `'static` means the reference to the item is going to be alive for the whole duration of the program. Doesn't sound like a good thing XD
> One thing that could be quite nice if we manage to have `Iter` somwhere However, the nice thing about having an actual `Vec` or `Rc` is that we could...
> What about RC like the original post suggested? For versions, the algorithm needs to pick one from those provided. The code to pick one only needs references and will...
Registry of all elm packages since elm 0.14, which represents 11079 distinct package versions + 11 elm versions: [elm-packages.zip](https://github.com/pubgrub-rs/pubgrub/files/5541663/elm-packages.zip) (contains a 4.1Mb `elm-packages.ron` file) I have done some rudimentary cleaning...
> Benchmarking is hard loved the edit history ahah
The error reporting is probably the part of this lib that received the less love. It's not much optimized, performance-wise and there could be much better ways saying what the...
I don't remember how the tree is generated so I won't be of much help.
Explanation from reddit: > The two watched literal scheme is used while unit propagation. You can propagate if only one literal is left in a nogood and when every literal...