Forty hand-authored wiring puzzles with a solver that guarantees every board has exactly one honest solution and refuses to ship the ones that do not.
A SAT solver runs in the editor over every board and rejects any with a second solution. It has rejected more boards than it has kept.
Discrete-event propagation, so a board of 300 components settles in well under a millisecond.
Hints are derived from the solver trace, not authored. They tell you the next forced move and nothing more.
One drag gesture does routing, rotation and deletion. Getting that down to one gesture took three attempts.
It was right every time. Board 31 now exists and I am no longer speaking to it.