Предупреждение Анаконды conda.common.logic: get_sat_solver_cls (278)

Question

(base) C:\Users>conda update --all
Collecting package metadata: done
Solving environment: / WARNING conda.common.logic:get_sat_solver_cls(278): Could not run SAT solver through interface 'pycosat'.
failed

CondaDependencyError :

Невозможно запустить солвер.Нет доступных реализаций SAT.

Теперь я не могу обновить, как мне это сделать?

Answer 1

Загрузите и установите Miniconda в расположение X, отличное от текущего пути установки Y. Версия Python Z должна совпадать с прерванной установкой.Затем выполните команду

X\Scripts\conda.exe install -p Y python=Z conda

, чтобы вылечить сломанную установку.Дополнительные подробности доступны здесь .