Making Redstone circuits with SAT solvers | Hacker News Reader