创建conda环境出错

在centos7中创建conda虚拟环境时报错:
Solving environment: | WARNING conda.resolve:_get_sat_solver_cls(57): Could not run SAT solver through interface 'pycosat'. failed

CondaDependencyError: Cannot run solver. No functioning SAT implementations available.

img

求各位帮忙看一下。问题困了好久了,也不是镜像的问题(镜像我改过了,毫无作用)。更新conda也会报这个错误。

该回答引用ChatGPT

这个错误提示表明 conda 无法使用 pycosat 库进行依赖解析,建议尝试以下几个步骤来解决:

确认 conda 版本是否最新。可以使用 conda update conda 命令来更新 conda。

尝试更新依赖库 pycosat,使用命令 conda install -c anaconda pycosat 来更新 pycosat 库。

如果更新依赖库没有解决问题,可以尝试安装另一个 SAT solver。例如,可以使用命令 conda install -c conda-forge python-sat 来安装 python-sat 库。

如果以上方法都没有解决问题,可以考虑重新安装 conda,确保其环境配置正确,以及清除之前的配置文件。

这个错误通常意味着 Conda 无法找到适当的 SAT 求解器来解决环境中的依赖关系。

解决方法可以尝试以下两个方案:

-1. 安装 SAT 求解器

conda install -c conda-forge pycosat


  • 如果上述命令失败,可以尝试使用以下命令安装其他求解器:
conda install -c conda-forge python-sat
conda install -c conda-forge python-graph-tool


安装完后,再尝试创建 conda 虚拟环境。

  • 2.如果你的 conda 版本比较旧,可以尝试更新 conda,通过以下命令更新
conda update conda


参考:https://stackoverflow.com/questions/64070407/condadependencyerror-cannot-run-solver-no-functioning-sat-implementations-avai