The SAT Game
3 days ago
- #logic puzzle
- #game mechanics
- #SAT problem
- The game is won when at least one cell on each line is green.
- Clicking on a number colors cells with the same number green and opposite numbers red.
- Clicking on a colored cell removes both colors.
- The game highlights lines without any green cells.
- It points out lines with only one chance left to place a green cell.
- It also highlights lines that are completely red.
- An undo button allows canceling the last choice.
- A traffic light button queries the oracle (green indicates correct path, red indicates a dead end).
- The SAT Game represents the SAT problem, where Boolean variables must satisfy a CNF formula.
- Each line in the game represents a clause (a disjunction of literals).
- A clause is true if at least one literal is true.
- All clauses must be true for the entire formula to be true.