ashvah/sat-solver

A simple implementation of DPLL

A Simple SAT Solver

实现了SAT问题的brute-force和DPLL算法