Генерация кроссвордов с помощью SAT солвера

[askv]

Интересовала эта задача в студенческие годы (лет 25 назад), но запнулся на поиске базы слов с расшифровками — интернета тогда не было… :(

[erwins22]

Выложите код пожалуйста, заранее спасибо.