If you think Sudoku solvers are cool, check out (constraint) logic programming, e.g. https://github.com/clojure/core.logic/wiki/Examples#sudoku

You can take that pretty far! I used it to solve Regex Crossword [0]: https://www.lvh.io/posts/solving-regex-crosswords/

https://regexcrossword.com/