/smt-solver

A (very) small SAT solver.

Primary LanguageC++MIT LicenseMIT

No issues in this repository yet.