1 comment

[ 2.5 ms ] story [ 10.8 ms ] thread
There's a nice thread on solving Wordle with Z3 [1], a SAT solver.

But I don't think you need much more than sets and list comprehensions to realistically solve most Wordle puzzles that crop up. This Python code demonstrates how you do that with simple letter frequency analysis and sets and list comprehensions.

[1] https://news.ycombinator.com/item?id=29886990