> the takeaway for me is that a SAT solver isn't that great a way to solve wordles. It may not be the best way, but it seems to lead to very clean, compact and

> the takeaway for me is that a SAT solver isn't that great a way to solve wordles. It may not be the best way, but it seems to lead to very clean, compact and understandable code. I have no background with Z3 (or any SAT solver for that matter) but I didn't have much trouble following the author's approach.