Solving Regex Crosswords with Z3

• October 21, 2025