Boolean SAT
op: sat.solveCNF clauses → satisfying assignment. 100% at N=10, ~90% at N=25 (known failure mode).
cnf input (one clause per line, integers, negative = negated)
n_vars
clauses
8
detected n_vars
5
examples
CNF clauses → satisfying assignment. 100% at N=10, ~90% at N=25 (known failure mode).