andy_p Dec 6 2017 at 18:13

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

9 min

9.7K

+7

Comments 2

askv Dec 6 2017 at 18:28

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

erwins22 Dec 6 2017 at 19:48

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

Sign up to leave a comment.