Making Redstone circuits with SAT solvers #1 Post by Retro_Dev » Sat, Jan 10, 2026, 1:51 AM UTC Making Redstone circuits with SAT solversalloc.dev