A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)