Open Source Adventures: Episode 68: Crystal Z3 Solver for Switches Puzzle

This time something a bit different. I've seen variants of this puzzle as a minigame in a lot of hidden object games, but I haven't really seen it standalone anywhere. Here's the puzzle: there's a bunch of light bulbs, each connected by lines to som...