I haven't gone as far as verifying puzzles are solvable - right now I only verify the state of the puzzle is valid. Maybe in the future. For now I guess it will be like solitaire, where if you can't solve it you'll have to reshuffle it.
Incidentally, I'm planning on adding solitaire as the next game!
Incidentally, I'm planning on adding solitaire as the next game!