Solving Regex Crosswords Without Z3

Thank you Nikos and Joseph for providing feedback :) A couple of months ago, I learned about regex crosswords from the blog post Solving Regex Crosswords With Z3 , and writing my own solver joined the (already very long) list of “things I want to do, but probably never will.” Well, about a week ago I felt like wasting the weekend on some small dumb project, so I wrote a solver! I figured the way…