libmamba solved this year's ago. The dep solver is now much faster.