They're a lot harder to find (especially for English) though. Each word needs to be valid both forwards and backwards in a Sator, right? There's a number of 5x

They're a lot harder to find (especially for English) though. Each word needs to be valid both forwards and backwards in a Sator, right? There's a number of 5x5 Sators, but no 6x6, 7x7s, or higher because the number of words which satisfy are much smaller. There is probably a better SAT encoding but if you just want to play around: https://github.com/cipherboy/sat/blob/master/sator-square/square.py https://github.com/cipherboy/sat/blob/master/sator-square/sq... It finds Sators and 6x6 and smaller word squares reasonably quickly, but larger takes a bit more work. :) It does depend on your wordlist though (place words.txt in the directory with square.py). cmsh from here: https://github.com/cipherboy/cmsh https://github.com/cipherboy/cmsh