Hacker News new | ask | show | jobs
by wenc 583 days ago
I haven’t used Conda since 2021 but recall it had a SAT solver that was very slow especially on degenerate cases.

How does uv’s sat solver compare?

3 comments

There are such cases in uv as well, and I’ve hit them quite often when I didn’t specify lower bounds (especially for boto3).
In our internal benchmarks miniconda is about as fast as uv at installing torch.