Solving Regex Crosswords Without Z3

3 points by daniel_alp