A Game About Boolean Satisfiability

Игра о логической выполнимости это небольшая игра о странных схемах в абстрактном здании. Он начинался как классный проект, но в итоге оказался настолько хорош, что я решил выпустить его отдельно.

Большая часть того, что вы увидите, генерируется процедурно: от названий головоломок до цвета вашего персонажа. Сами головоломки генерируются в фоновом режиме во время игры, и их всегда можно решить, иногда несколькими способами. (Есть небольшой шанс, что механизм генерации головоломок не сможет создать головоломку; если это произойдет, вы выиграете.)

К сожалению, игра ограничена.

Документ, в котором рассказывается об использованных нами генераторах и дизайне игры, доступен в Интернете здесь.

Видео (или полное прохождение): https://youtu.be/R10fWrqHhFg.

---

Доступны две версии игры: одна с музыкой, другая без музыки. Оба имеют полный опыт.

---

Управление:

A и D для прогулки

Введите, чтобы войти в головоломку

Мышь и клавиатура для решения головоломок.