У Кнута

[thesz]

вот тут https://www-cs-faculty.stanford.edu/~knuth/programs.html есть ссылка на программу, что позволяет решать проблемы Игры Жизнь через представление их в виде проблемы логической выполнимости.

И по мелочам там интересное. ;)

Comments

[p2004r]

Даже жаль что похоже никогда не осилю "tangle", так и останусь на использовании одного "weave" :(