6 ms·
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://d
by mmaaz 2y ago
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/#resolver https://docs.astral.sh/uv/reference/resolver-internals/#reso...