A program designed to solve a Lights Out game using a SAT solver. If unfamiliar with the game, please take a look at Lights Out games on this site that provides various configurations of the game.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results