A simple, probabilistic, parallel SAT solver.