Using Answer Set Programming for Dependency Solving in Spack | Hacker News Reader