SAT solver for any Hidoku game.