On that note, uv, which I found to be orders of magnitudes faster (pip fails to solve even some small SAT/IP instances) uses something called PubGrub

https://docs.astral.sh/uv/reference/resolver-internals/#reso...