4 ms·
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?
by wenc 2y 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?
- sa1 2y agoThere are such cases in uv as well, and I’ve hit them quite often when I didn’t specify lower bounds (especially for boto3).
- montebicyclelo 2y agoConda has a faster solver, as of 2022 https://www.anaconda.com/blog/a-faster-conda-for-a-growing-community https://www.anaconda.com/blog/a-faster-conda-for-a-growing-c...
- thundergolfer 2y agoIn our internal benchmarks miniconda is about as fast as uv at installing torch.