MatthewNielsen27 / gregory

SAT Solver (DPLL)

Yeah this README is in plain text


dpll.hpp is a header-only implementation of the Davis-Putnam-Logemann-Loveland (DPLL) algorithm for use in SAT solving.