Conda uses a SAT solver. It is still very slow on degenerate cases and I’m not sure if work to replace it with Microsoft’s SAT solver has started. https://www.

Conda uses a SAT solver. It is still very slow on degenerate cases and I’m not sure if work to replace it with Microsoft’s SAT solver has started. https://www.anaconda.com/blog/understanding-and-improving-condas-performance https://www.anaconda.com/blog/understanding-and-improving-co...