npm.io

Multiple syntax Packages

sat-solver

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

satsolverallsatallsolutionsfindbooleansyntax agnosticmulti syntaxmultiple syntax
1.3.0 • Published 1 year ago

contact@npm.io