SAT


Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

Designing a good representation of the puzzle is crucial. Note how you could either use 26 terms in the grid and 1.5 million clauses in the physics or 182 terms in the grid and 450 clauses in the physics.

Name:
Mail: (not shown)

Please type this: