Simple Node.js Recursive Watch-list Based SAT Solver This is a port of my Python simple SAT solver to Node.js. For more details see my blog post on the subject.