蟒蛇警告 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

修复损坏的安装。更多详细信息请参见此处。