The Single Player FunSAT Game

A version of the single player funsat game can be found here.

Tutorial!

A quick tutorial can be found here.

Boolean Satisfiability

To read more about the Boolean satisfiability problem take a look at Wikipedia's article.