Anaconda 警告 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 并将其安装到与当前安装路径 Y 不同的位置 X。python 版本 Z 应该与损坏的安装相同。然后运行命令

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

修复损坏的安装。更多详情请见here。