On 17 May 2015 at 00:36, Justin Cappos <[email protected]> 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 | [email protected] | Brisbane, Australia _______________________________________________ Distutils-SIG maillist - [email protected] https://mail.python.org/mailman/listinfo/distutils-sig
