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