Search results
1 package found
Sort by: Default
- Default
- Most downloaded this week
- Most downloaded this month
- Most dependents
- Recently published
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
- sat
- solver
- allsat
- all
- solutions
- find
- boolean
- syntax agnostic
- multi syntax
- multiple syntax
- sat parser
- parse
- ast
- sat ast
published version 1.3.0, 8 months ago0 dependents licensed under $ISC
47