A downloadable game for Windows

A Game About Boolean Satisfiability is a small game about strange circuitry in an abstract building. It started off as a class project, but wound up being good enough that I decided  to release it on its own.

Most of what you'll see is procedurally generated, from the names of the puzzles to the color of your character. The puzzles themselves are generated in the background as you play, and can always be solved, sometimes in more ways than one. (There's a small chance the puzzle generation engine will fail to create a puzzle; if this happens, you win.)

The game is only finite, unfortunately.

A document talking about the generators we used and the design of the game is available online here.

Video (or, a full playthrough): https://youtu.be/R10fWrqHhFg.

---

Two versions of the game are available: one with music, and one without music. Both have the full experience.

---

Controls:

A and D to walk around

Enter to enter a puzzle

Mouse and keyboard to solve puzzles.

Published 65 days ago
StatusReleased
PlatformsWindows
AuthorNeil Bickford
GenrePuzzle
Tags2D, Abstract
Average sessionAbout a half-hour

Install instructions

To run A Game About Boolean Satisfiability, extract the .zip archive to any folder on your system, then run A Game About Boolean Satisfiability.exe.

The music in the version with music will not start immediately. Let it sit. Consider the quietness, the silence, the anechoic chamber containing only inaudible waves (unless, of course, your video connection interferes with some speaker here or elsewhere). Reflect and ponder on this. (The music should start slowly once the first puzzle is complete.)

Download

Download
A Game About... (with music) 28 MB
Download
A Game About... (no music) 17 MB
Download
Source Code: A Game About... (with music) 21 MB
Download
Source Code: A Game About... (no music) 1 MB

Leave a comment

Log in with itch.io to leave a comment.