All Categories → No Category → dpll

Top 1 dpll open source projects

SAT-Solver-DPLL

A simple SAT solver that implements the DPLL algorithm with unit resolution

✭ 37

C++Makefile sat-solver dpll satisfiability dpll-algorithm

1-1 of 1 dpll projects