Solving regex crosswords with Z3(blog.nelhage.com)

https://blog.nelhage.com/post/regex-crosswords-z3/