How to become an author

andy_p Dec 6 2017 at 21:13

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

9 min

9.5K

+10

Comments 2

askv Dec 6 2017 at 21:28

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

erwins22 Dec 6 2017 at 22:48

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

Sign up to leave a comment.