SAT Solving in J (Live Stream)

Code review of my J SAT Solver, plus a few motivating examples from math.

[kaszanadlapana]

I would say that 2^903 is a "little bit" bigger then "astronomically large" considering amount of atoms in the observable universe ;)