Dependency solving with SAT for Anaconda | Hacker News Reader