Boolean SAT
op: sat.solveCNF → continuous-relaxation gradient flow on the projection subspace. 100% at N=10, ~90% at N=25 (known failure mode). Returns assignment + final energy.
cnf input (one clause per line, integers, negative = negated)
n_vars
clauses
8
detected n_vars
5
examples