Solving Regex Crosswords Without Z3