Solving regex crosswords with Z3

65 points| atilimcetin | 4 months ago |blog.nelhage.com