Description
Boolean satisfiability problems can be solved with a command-line solver derived from PicoSAT.
This package is useful for researchers, developers, and verification workflows that need SAT solving. It processes formal problem instances; it is not a general calculator or end-user puzzle game.
Solver results depend on valid input format and modeling. Treat output as part of a verification workflow, not as proof that unrelated assumptions are correct.