3 ms·
No way pip actually is a really inefficient SAT solver!
by yochem 2y ago
No way pip actually is a really inefficient SAT solver!
- stabbles 2y agoFor a long time it was not because there was no backtracking. Now it is just an exhaustive, recursive search: for the current package try using versions from newest to oldest, enqueue its dependencies, if satisfied return, if conflict continue.
- taeric 2y agoIf there was no backtracking, that implies it couldn't solve every sudoku? That is rather amusing with the implication that it couldn't solve every dependency, as well?
- fernandotakai 2y agouv actually talks about this in their resolver docs https://docs.astral.sh/uv/reference/resolver-internals/ https://docs.astral.sh/uv/reference/resolver-internals/