I should mention that we (Toolchain) have our own resolver algorithm, currently implemented as a service. So this provides some competition to pip in that space.