andy_p6 дек 2017 в 18:13Генерация кроссвордов с помощью SAT солвераВремя на прочтение9 минОхват и читатели11KЛогические игрыВсего голосов 12: ↑11 и ↓1+10Добавить в закладки23ПоделитьсяКомментарии2
Генерация кроссвордов с помощью SAT солвера