Code review of my J SAT Solver, plus a few motivating examples from math.
J-SAT repo is at
https://github.com/tangentstorm/j-sat/
The thumbnail is from the Quanta article about Ramsey Numbers (which I suspect could be a good match for SAT solving):
https://www.quantamagazine.org/after-nearly-a-century-a-new-limit-for-patterns-in-graphs-20230502/