[Anaconda] _get_sat_solver_cls(57) 에러 조치

증상

Anaconda 에서 특정 패키지 설치 실패 후 다른 패키지 설치시도 시 아래와 같은 WARN 문구와 함께 설치 실패하는 경우

conda.resolve:_get_sat_solver_cls(57): Could not run SAT solver through interface 'pycosat'.

나의 경우 anaconda3 / python3.8.5 환경에서 python 3.4 를 환경 구성 중 실패하며 이와 같은 증상이 발생하였음.

조치

1. anaconda 를 다른 임시경로에 설치

https://www.anaconda.com/products/individual#Downloads

2. cmd 창을 띄워 다음과 같은 명령어로 conda uninstall / install 을 시도한다.

[anacodna_임시_설치_경로]\anaconda3\_conda.exe uninstall -p [anaconda_설치_경로]\anaconda3 python=3.8 conda
[anacodna_임시_설치_경로]\anaconda3\_conda.exe install -p [anaconda_설치_경로]\anaconda3 python=3.8 conda

conda 를 재설치하여 깨진 package 들을 바로잡아 준다.

3. 이후 정상적으로 다른 package 설치 진행 됨

참고 링크

• 문제: [https://github.com/conda/conda/issues/8418
• 해결: https://github.com/conda/conda/issues/7714#issuecomment-417553149