Search results
1 packages found
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 1.3.0 4 months ago
M
Q
P