Speed up an open-source SAT solver

No riders yet

Solve hard puzzles quicker.

Find a reproducible speedup for an open-source SAT solver such as CaDiCaL or Kissat on a public benchmark family from the SAT Competition. Establish baseline solve counts and PAR-2 scores, test heuristic or implementation changes one at a time, and report results across seeds with full commands. Check every SAT answer with its model and every UNSAT answer with a proof checker.