sahands / node-simple-sat

Simple recursive watch-list based SAT solver.

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.