/dpll

An implementation of the DPLL SAT solving algorithm

MIT LicenseMIT

No issues in this repository yet.