A Rudimentary SAT-Solver, for boolean equations. Applies some rules, then DPLL Brute force testing afterwards.
Primary LanguageJava
No one’s star this repository yet.