Я пытаюсь выяснить, что не так с моей anaconda3. Я пару часов пытался запустить conda update --all
. Он застрял на resolving environment
, поэтому я попытался включить отладочные отпечатки: conda update --all --debug
, и кажется, что он всегда пытается запустить SAT Solver.
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 69367
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 71655
DEBUG conda.common.logic:minimize(546): Final peak objective: 0
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 75423
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 71721
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 71910
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 72309
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 72054
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 71957
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 71986
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 71957
DEBUG conda.common.logic:minimize(546): Final peak objective: 18
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 10814894
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 6062720
DEBUG conda.common.logic:sat(435): Invoking SAT with clause count: 2396905
Есть ли что-нибудь, что я могу сделать, чтобы решить это?