Serg wrote:Did you add some logical rules for 16 x 16 Sudoku solver?

Not yet.

The current solver is simply a port of the 9x9 FSSS2 solver, with 256-bit wide bitmaps instead of 128-bit ones.

But it can easily be extended, and used to demonstrate the ideas discussed above, namely that more complex rules than singles will prove their worth on a larger grid than 9x9. The humungous solution space of 16x16, dwarfs that of 9x9 (16 is a planet, while 9 is a pea). That almost guarantees that any additional methods will speed up, rather than slow down, the solver.

Cheers

MM

PS: I too am interested in whether tdillon's solver is scalable to 16x16. I suspect it might be difficult, but he will tell us shortly.

Also, I think that creint's solver definitely is scalable, and thus we might be able to do some simple experiments.