Regex Crossword Solver is a program which can solve regular expression crosswords, such as the MIT puzzle http://www.mit.edu/~puzzle/2013/coinheist.com/rubik/a_regular_crossword/grid.pdf and some of the ones available at https://regexcrossword.com.