A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMshttps://github.com/namin/dafny-sandbox/blob/master/Sat.dfy by namin • 6 months ago 4 2 6 months agoGIgithub.com