Simplifying HPC dependency solving with logic programming | Hacker News Reader