Как отлаживать решатель conda SAT, обрезая параметры Python до нуля?

Я наблюдаю ошибку conda install ..., в которой решатель SAT conda обрезает мои параметры для python до нуля:

{snip}
DEBUG conda.resolve:filter_group(400): scipy: pruned from 391 -> 127
DEBUG conda.resolve:filter_group(400): python: pruned from 70 -> 0
DEBUG conda.common.logic:get_sat_solver_cls(281): Using SAT solver interface 'pycosat'.
DEBUG conda.resolve:gen_clauses(688): gen_clauses returning with clause count: 81241
{snip}

И мне интересно:

Как это отладить?

То есть, как мне заставить conda SAT-решатель дать мне некоторые подсказки относительно того, какие python спецификации пакетов конфликтуют?