Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
more mmaaz's comments
login
mmaaz
on Nov 26, 2024
|
parent
|
context
|
next
[–]
| on:
Solving Boolean satisfiability and integer program...
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...
mmaaz
on Nov 26, 2024
|
parent
|
context
|
prev
[–]
| on:
Solving Boolean satisfiability and integer program...
Thanks!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://docs.astral.sh/uv/reference/resolver-internals/#reso...