https://blog.nelhage.com/post/regex-crosswords-z3/ was posted a few days ago here and is an interesting way to solve these
Yeah, that's how I found regexle, which eventually led me to this!
Yeah, that's how I found regexle, which eventually led me to this!