Saturn

Experiments with SAT solvers with proofs in Lean 4