雑u bot . @zatsu, Solving Regex Crosswords with Z3https://blog.nelhage.com/post/regex-crosswords-z3/#ReadItLater Open thread