Conda indeed is slow. However, mamba is a drop in replacement for Conda and uses a way faster solver, which makes it a lot more palatable.

Does it use a sat solver that has better average-case behavior, or does it sacrifice on full sat solvability?

	▲	okanat a year ago \| parent [-]
		Without fully solving it, it is impossible to install packages. This is my anecdote but I find Mamba better at solving tricky dependency requirements like certain version of Python and a certain version of Pytorch with Cuda support and a certain protobuf version.