They have the same resolver (Conda)

You just have fewer packages installed with miniconda, so the sat problem is much smaller