Solving Regex Crosswords Without Z3 - 信息索引