resolver

A collection of 11 posts

Saturday: a simple SAT solver in Go

Saturday is a simple SAT solver in Go that implements the Davis-Putnam backtracking algorithm plus a few optimizations as described in the 2001 paper Chaff: Engineering an Efficient SAT Solver.
10 December 2021