sat-solver (npm): This is a simple SAT solver with a string based interface, built for easy access. It tries to parse many different commenly used syntaxes into a AST and then solves the problem, returning one or all solutions. You may also only use the AST and provide a s
Keywords: sat|solver|allsat|all|solutions|find|boolean|syntax agnostic|multi syntax|multiple syntax|sat parser|parse|ast|sat ast