title: Conda install takes forever (stuck as SAT solver)
body: <p>How can I fix problem with conda installer, which takes forever solving huge SAT problems (why do we need to solve them?):</p>
  
  <pre><code>DEBUG conda.common.logic:_run_sat(734): Invoking SAT with clause count: 9661561
  DEBUG conda.common.logic:_run_sat(734): Invoking SAT with clause count: 5164645
  DEBUG conda.common.logic:_run_sat(734): Invoking SAT with clause count: 2751948
  DEBUG conda.common.logic:_run_sat(734): Invoking SAT with clause count: 1518175
  DEBUG conda.common.logic:_run_sat(734): Invoking SAT with clause count: 964848
  DEBUG conda.common.logic:_run_sat(734): Invoking SAT with clause count: 1249154
  DEBUG conda.common.logic:_run_sat(734): Invoking SAT with clause count: 1105581
  </code></pre>
  
  <p>Waited more then half of a hour, what else can I do rather then reinstall this?</p>