[lemoing]

Yes, but filling a grid in a way that satisfies all of the regular expressions is a much harder problem than matching a single regex.

Semi-related: generating fill for regular crosswords is NP-complete: https://www.sciencedirect.com/science/article/abs/pii/S03043...

[mcint]

Well, at this scale, it would take longer to set up a SAT solver than it would for the SAT solver to list all valid solutions.