Solving Wordle Using Z3 | Hacker News Reader