Search
modules
PicoSAT is a satisfiability (SAT) solver for boolean variables in boolean expressions.