If you haven't yet, try out mamba. It's more or less a drop-in conda replacement but written in C++ using a super fast SAT solver. The speed difference is incredible--I rarely even have time to finish reading the output before it's done installing a conda environment.