@aureooms/js-sat (npm): Boolean formula satisfiability algorithms for JavaScript
Keywords: NP|SAT|algorithms|boolean formula|complete|complexity|computer science|javascript|js|satisfiability