All Categories → No Category → dpll-algorithm

Top 1 dpll-algorithm 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-algorithm projects