boolean-sat (npm): A simple JavaScript SAT solver
Keywords: SAT|boolean satisfiability