With this 23.10.0 release we are changing the default solver of conda to
conda-libmamba-solver! 🥳 🚀
libmamba builds on libsolv, a much faster solver from openSUSE. The previous "classic" solver is based on pycosat/Picosat and will remain part of conda for the foreseeable future. A fallback is possible and available.