Using Answer Set Programming for very general package solvers | Hacker News Reader