Hacker News new | ask | show | jobs
Making Redstone circuits with SAT solvers (alloc.dev)
2 points by Retro_Dev 153 days ago