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-co...