Simple implementation and parallelization of the DPLL algorithm for the satisfiability problem.
Primary LanguageC#