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

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

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