4848.sagews

The World's Hardest Sudoku is solved Sudoku solver in Sage.

A=matrix(ZZ,[[8,0,0,0,0,0,0,0,0],[0,0,3,6,0,0,0,0,0],[0,7,0,0,9,0,2,0,0],[0,5,0,0,0,7,0,0,0],[0,0,0,0,4,5,7,0,0],[0,0,0,1,0,0,0,3,0],[0,0,1,0,0,0,0,6,8],[0,0,8,5,0,0,0,1,0],[0,9,0,0,0,0,4,0,0]])

q=Sudoku(A); q

ParseError: KaTeX parse error: Unknown column alignment: * at position 52: …\begin{array}{|*̲{3}{*{3}{r}|}}\…

ans = q.solve(); print ans.next()

+-----+-----+-----+ |8 1 2|7 5 3|6 4 9| |9 4 3|6 8 2|1 7 5| |6 7 5|4 9 1|2 8 3| +-----+-----+-----+ |1 5 4|2 3 7|8 9 6| |3 6 9|8 4 5|7 2 1| |2 8 7|1 6 9|5 3 4| +-----+-----+-----+ |5 2 1|9 7 4|3 6 8| |4 3 8|5 2 6|9 1 7| |7 9 6|3 1 8|4 5 2| +-----+-----+-----+