Hacker News new | ask | show | jobs
by cwzwarich 2281 days ago
Do you have an example of a real-world package dependency situation that generates a truly difficult SAT instance?