/SAT-Solver-CDCL

A simple SAT solver based on the CDCL algorithm

Primary LanguageC++MIT LicenseMIT

Watchers