A SAT solver using DPLL algorithm.
Primary LanguageJavaMIT LicenseMIT
No issues in this repository yet.