This prolog program can solve a 16x16 sudoku. We call the sudoku "Matrix". length(Matrix, 16) The function "Length" represents the variety of factors in the List ...
This takes about 100 minutes single threaded on a Xeon X5570. krazydad-hexsudoku-20220607.csv.bz2 Standard 16x16 sudoku puzzles. Specified like the 9x9 sudoku, but there are 7 volumes instead of 20.