A Game About Boolean Satisfiability

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.