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