Welcome to the amazing Sudoku Solver!

Your Sudoku-wish is my command!

To solve your sudoku puzzle, I am using Python, zChaff and some 19000 dynamically generated CNF clauses! Wohoo!

I would like my input as a string of 81 characters: either dots (.) or numbers! Each dot represents an empty element, a number represents a given value. The first character is the top-left element, the last character is the bottom right one. For info about what the heck Sudoku is, Check Wikipedia's Sudoku entry!


Example input: .2....6.....1.....7...3..5...8.4.9.33.......8....2.4.663.5.......5..9..2.1..84...

You can now also use this grid below to add your Sudoku puzzle! I've already added the dots, so you just have to fill in the numbers!