Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm
Primary LanguageJava