On 17 May 2015 at 00:36, Justin Cappos <jcap...@nyu.edu> wrote: > This only considers computation cost though. Other factors can become more > expensive than computation. For example, SAT solvers need all the rules to > consider. So a SAT solution needs to effectively download the full > dependency graph before starting. A backtracking dependency resolver can > just download packages or dependency information as it considers them.
This is the defining consideration for pip at this point: a SAT solver requires publication of static dependency metadata on PyPI, which is dependent on both the Warehouse migration *and* the completion and acceptance of PEP 426. Propagation out to PyPI caching proxies and mirrors like devpi and the pulp-python plugin will then take even longer. A backtracking resolver doesn't have those gating dependencies, as it can tolerate the current dynamic metadata model. Cheers, Nick. -- Nick Coghlan | ncogh...@gmail.com | Brisbane, Australia _______________________________________________ Distutils-SIG maillist - Distutils-SIG@python.org https://mail.python.org/mailman/listinfo/distutils-sig
