A simple SAT solver that implements the DPLL algorithm with unit resolution
Primary LanguageC++MIT LicenseMIT