(1/9) Last week, my solver LymphoSAT won the SAT track of the SAT Competition 2026, beating the 27 other entrants!
The strange part: LymphoSAT is not really one solver... it's actually 126 entirely novel, highly optimized, family-specific solvers!
c.mov/lymphosat
c.mov
Domain-specific hyperspecialization (for SAT) | c.mov
An immune system for SAT solvers
